scientific article

Publication date: 15 October 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

modal logic semantics tableau many-valued logics classical logic paraconsistent logics relevant logics fuzzy logics conditional logics propositional logics intuitionist logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) General logic (03Bxx)

Related Items (58)

Should Deflationists Be Dialetheists? ⋮ The philosophical significance of Cox's theorem ⋮ Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed. ⋮ A positive information logic for inferential information ⋮ Modeling sorites reasoning with adaptive fuzzy logic ⋮ The unexpected applicability of paraconsistent logic: a Chomskyan route to dialetheism ⋮ Restricted arrow ⋮ Realism, Antirealism, and Paraconsistency ⋮ Reasoning About Belief Revision ⋮ Relevant restricted quantification ⋮ A generalised model of judgment aggregation ⋮ On the universality of atomic and molecular logics via protologics ⋮ Rough and Near: Modal History of Two Theories ⋮ A unification of two approaches to vagueness: the Boolean many-valued approach and the modal-precisificational approach ⋮ Russell and his sources for non-classical logics ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ The logic of Quinean revisability ⋮ Dynamic and stochastic systems as a framework for metaphysics and the philosophy of science ⋮ Probabilistic opinion pooling generalized. I: General agendas ⋮ Probabilistic opinion pooling generalized. II: The premise-based approach ⋮ A plea for KR ⋮ On ground and consequence ⋮ Paradoxes of logical equivalence and identity ⋮ Jaina Logic: A Contemporary Perspective ⋮ Probability, fuzziness and borderline cases ⋮ Strict-choice validities: A note on a familiar pluralism ⋮ Logical pluralism and semantic information ⋮ From Iff to Is: Some New Thoughts on Identity in Relevant Logics ⋮ Two Negations Are More than One ⋮ Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\) ⋮ Labelled sequent calculi for Lewis' non-normal propositional modal logics ⋮ Free logics are cut-free ⋮ A Paraconsistent and Substructural Conditional Logic ⋮ Distribution in the Logic of Meaning Containment and in Quantum Mechanics ⋮ LP⁺, K3⁺, FDE⁺, AND THEIR ‘CLASSICAL COLLAPSE’ ⋮ MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH ⋮ The possibility of judgment aggregation on agendas with subjunctive implications ⋮ A modal view of the semantics of theoretical sentences ⋮ Epistemic modals and informational consequence ⋮ Radical interpretation and logical pluralism ⋮ Supervaluationism and logical consequence: A third way ⋮ A model of tolerance ⋮ Hyper-contradictions, generalized truth values and logics of truth and falsehood ⋮ Simple hyperintensional belief revision ⋮ Another solution to the problem of theoretical terms ⋮ Completeness and Herbrand theorems for nominal logic ⋮ Interpolation in non-classical logics ⋮ On permutation in simplified semantics ⋮ FOUR BASIC LOGICAL ISSUES ⋮ The Byzantine Liar ⋮ Implicational tonoid logics: algebraic and relational semantics ⋮ A note on entropy of logic ⋮ Truth values and proof theory ⋮ A Method of Defining Paraconsistent Tableaus ⋮ Semantic penumbra: concept similarity in logic ⋮ Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) ⋮ The hooded man ⋮ Saving the truth schema from paradox

This page was built for publication: