combinatory logicdisplay logicparaconsistent logicquantum logicrelational semanticsCurry-Howard isomorphismlambda calculusrelevance logiceffect algebrasgaggle theory
Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53) Combinatory logic and lambda calculus (03B40) Quantum logic (03G12) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)
Recommendations
Cited in
(only showing first 100 items - show all)- First-order frames for orthomodular quantum logic
- Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic
- What is a relevant connective?
- Handbook of philosophical logic. Vol. 3.
- A general relational semantics of propositional logic: axiomatization
- Handbook of philosophical logic. Vol. 10
- 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
- Bitopology and four-valued logic
- Paraconsistent fuzzy logic preserving non-falsity
- Implication, Equivalence, and Negation
- Tolerating Inconsistencies: A Study of Logic of Moral Conflicts
- Identity in Mares-Goldblatt models for quantified relevant logic
- Hybrid modal operators for definite descriptions
- Quantum logic for observation of physical quantities
- What is relevance logic?
- Semantical analysis of weak Kleene logics
- Unary-determined distributive \(\ell \)-magmas and bunched implication algebras
- Bridging the two plans in the semantics for relevant logic
- Paraconsistent or paracomplete?
- Priest on negation
- GP's LP
- Truthmaker semantics for relevant logic
- Effective semantics for the modal logics K and KT via non-deterministic matrices
- A relevant logic of questions
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion
- Metatheory and dialetheism
- Labelled calculi for lattice-based modal logics
- Proof theory of paraconsistent weak Kleene logic
- REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
- Combining linear-time temporal logic with constructiveness and paraconsistency
- BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH
- Consistent theories in inconsistent logics
- Model Checking Value-Passing Modal Specifications
- Quantum-like logics and schizophrenia
- Modal extension of ideal paraconsistent four-valued logic and its subsystem
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values
- scientific article; zbMATH DE number 3972838 (Why is no real title available?)
- Non-Boolean classical relevant logics. II: Classicality through truth-constants
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS
- Disjunction property and complexity of substructural logics
- Implicational Logic, Relevance, and Refutability
- The premiss-based approach to judgment aggregation
- Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$
- A substructural approach to explicit modal logic
- Second-order logic of paradox
- Spectral representations of normal operators in quaternionic Hilbert spaces via intertwining quaternionic PVMs
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- Inconsistency-tolerant temporal reasoning with hierarchical information
- PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES
- None of the above: the catuṣkoṭi in Indian Buddhist logic
- Automated correspondence analysis for the binary extensions of the logic of paradox
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
- \(\mathbf{RM}\) and its nice properties
- The Story of $$\gamma $$ γ
- A canonical model for constant domain basic first-order logic
- What is worthy of investigation? Philosophical attitudes and their impact on mathematical development by the example of discovering 10-adic numbers
- Reflections on Orlov
- Tableaux for free logics with descriptions
- On elimination of quantifiers in some non-classical mathematical theories
- Handbook of philosophical logic. Vol. 8
- Probabilities with gaps and gluts
- Logic talk
- Normalisation for some quite interesting many-valued logics
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- Metavaluations
- Cut and gamma. I: Propositional and constant domain \textbf{R}
- Situated epistemic updates
- Distance-based paraconsistent logics
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
- Game theoretical semantics for some non-classical logics
- Beth definability in the logic KR
- A measure of consistency for fuzzy logic theories
- Single-domain free logic and the problem of compositionality
- Varieties of Relevant S5
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
- Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn
- R-Mingle is Nice, and so is Arnon Avron
- SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION
- Handbook of philosophical logic. Vol. 5
- Manipulating sources of information: towards an interpretation of linear logic and strong relevance logic
- Editorial introduction
- Epistemic logics for relevant reasoners
- On non-deterministic functional completeness
- A certain version of preservationism
- An informational view of classical logic
- Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
- NON-CLASSICAL FOUNDATIONS OF SET THEORY
- A cut-elimination proof in positive relevant logic with necessity
- Solving conflicts in information merging by a flexible interpretation of atomic propositions
- Relevance Logic as a Conservative Extension of Classical Logic
- Relevant connexive logic
- Higher-order modal logics: automation and applications
- IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
- Consequence-inconsistency interrelation: in the framework of paraconsistent logics
- Relevant consequence relations: an invitation
- Handbook of philosophical logic. Volume II: Extensions of classical logic
- On a paraconsistentization functor in the category of consequence structures
- K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
This page was built for publication: Handbook of philosophical logic. Vol. 6
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1777640)
