Handbook of philosophical logic. Vol. 6

No author found.

Publication date: 25 May 2005

Published in: Handbook of Philosophical Logic (Search for Journal in Brave)

relational semantics quantum logic lambda calculus relevance logic Curry-Howard isomorphism effect algebras paraconsistent logic combinatory logic display logic gaggle theory

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Quantum logic (03G12) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53) Combinatory logic and lambda calculus (03B40) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)

Related Items

A measure of consistency for fuzzy logic theories, IN MEMORIAM: J. MICHAEL DUNN, 1941–2021, A relevant logic of questions, Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion, Modular semantics for theories: an approach to paraconsistent reasoning, Second-order logic of paradox, Tableaux for free logics with descriptions, Model Checking Value-Passing Modal Specifications, Implication, Equivalence, and Negation, Metatheory and dialetheism, A general relational semantics of propositional logic: axiomatization, Situated epistemic updates, What is a relevant connective?, NON-CLASSICAL FOUNDATIONS OF SET THEORY, What is relevance logic?, First-order frames for orthomodular quantum logic, Game theoretical semantics for some non-classical logics, On a paraconsistentization functor in the category of consequence structures, SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION, BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH, Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic, PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES, Single-domain free logic and the problem of compositionality, HYPE: a system of hyperintensional logic (with an application to semantic paradoxes), Reflections on Orlov, Spectral representations of normal operators in quaternionic Hilbert spaces via intertwining quaternionic PVMs, A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes, RELEVANCE FOR THE CLASSICAL LOGICIAN, Varieties of Relevant S5, Tolerating Inconsistencies: A Study of Logic of Moral Conflicts, Proof theory of paraconsistent weak Kleene logic, An informational view of classical logic, Truthmaker semantics for relevant logic, On elimination of quantifiers in some non‐classical mathematical theories, Labelled calculi for lattice-based modal logics, Non-Boolean classical relevant logics. II: Classicality through truth-constants, TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS, A substructural approach to explicit modal logic, Quantum-like logics and schizophrenia, Consistent theories in inconsistent logics, Paraconsistent fuzzy logic preserving non-falsity, What is worthy of investigation? Philosophical attitudes and their impact on mathematical development by the example of discovering 10-adic numbers, AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX, Logic talk, METAVALUATIONS, Unary-determined distributive $\ell $-magmas and bunched implication algebras, Relevant epistemic logic with public announcements and common knowledge, Higher-Order Modal Logics: Automation and Applications, Recovering Consistency by Forgetting Inconsistency, Solving conflicts in information merging by a flexible interpretation of atomic propositions, REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS, $$\mathbf {RM}$$ RM and its Nice Properties, The Story of $$\gamma $$ γ, Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic, K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You, Bridging the Two Plans in the Semantics for Relevant Logic, Paraconsistent or Paracomplete?, Priest on Negation, GP’s LP, A new approach to classical relevance, Bitopology and four-valued logic, Probabilities with gaps and gluts, Inconsistency-tolerant temporal reasoning with hierarchical information, Modal extension of ideal paraconsistent four-valued logic and its subsystem, AXIOMS FOR DETERMINATENESS AND TRUTH, The premiss-based approach to judgment aggregation, Semantical analysis of weak Kleene logics, Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values, Disjunction property and complexity of substructural logics, Combining linear-time temporal logic with constructiveness and paraconsistency, Distance-based paraconsistent logics, A generalized proof-theoretic approach to logical argumentation based on hypersequents, A certain version of preservationism, A canonical model for constant domain basic first-order logic, An Explanation for the Ternary Relation R in the Relational Semantics of Relevance Logic, A cut-elimination proof in positive relevant logic with necessity, Relevant Connexive Logic, Identity in Mares-Goldblatt models for quantified relevant logic, CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN R, Proof theory of Nelson's paraconsistent logic: a uniform perspective, An incompleteness theorem for modal relevant logics, Consequence–Inconsistency Interrelation: In the Framework of Paraconsistent Logics, None of the Above: The Catuṣkoṭi in Indian Buddhist Logic, Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism, Embedding friendly first-order paradefinite and connexive logics, Valuation semantics for first-order logics of evidence and truth, An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi, First-order logics of evidence and truth with constant and variable domains, Natural deduction for quantum logic, Relevance Logic as a Conservative Extension of Classical Logic, Implicational Logic, Relevance, and Refutability, Normalisation for Some Quite Interesting Many-Valued Logics, Effective semantics for the modal logics K and KT via non-deterministic matrices, Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work), R-Mingle is Nice, and so is Arnon Avron, Relevance-Sensitive Truth-Trees, Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$, Beth Definability in the Logic KR, Revisiting Semilattice Semantics, Application of Urquhart’s Representation of Lattices to Some Non–classical Logics