Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
11
views
0
references
Top references
cited by
20
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,138
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Proof Methods for Modal and Intuitionistic Logics
other
Author(s):
Melvin Fitting
Publication date
(Print):
1983
Publisher:
Springer Netherlands
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
NeuroImaging Methods
Author and book information
Book
ISBN (Print):
978-90-481-8381-4
ISBN (Electronic):
978-94-017-2794-5
Publication date (Print):
1983
DOI:
10.1007/978-94-017-2794-5
SO-VID:
b2f209ac-2ab6-49cd-99ff-abfe6fbf17f4
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Introduction
pp. 11
Background
pp. 33
Analytic Modal Tableaus and Consistency Properties
pp. 64
Logical Consequence, Compactness, Interpolation, and Other Topics
pp. 118
Axiom Systems and Natural Deduction
pp. 191
Non-Analytic Logics
pp. 262
Non-Normal Logics
pp. 332
Quantifiers
pp. 386
Prefixed Tableau Systems
pp. 437
Intuitionistic Logic
Similar content
3,138
A matching mechanism for public cloud manufacturing platforms using intuitionistic Fuzzy VIKOR and deferred acceptance algorithm
Authors:
Jalal Delaram
,
Omid Fatahi Valilai
,
Mahmoud Houshamand
…
Maclaurin symmetric mean aggregation operators based on novel Frank T-norm and T-conorm for intuitionistic fuzzy multiple attribute group decision-making
Authors:
Amir Hussain
,
Haolun Wang
,
Kifayat Ullah
…
Notes on intuitionistic fuzzy graph
Authors:
See all similar
Cited by
20
The global properties of valid formulas in modal logic K
Authors:
Jigui Sun
,
Xiaochun Cheng
,
Xuhua Liu
A resolution calculus for modal logics
Authors:
Hans Jürgen Ohlbach
Tableaus for many-valued modal logic
Authors:
Melvin Fitting
See all cited by