scientific article; zbMATH DE number 596497
From MaRDI portal
Publication:4297115
Recommendations
Cited in
(only showing first 100 items - show all)- Hyper-contradictions, generalized truth values and logics of truth and falsehood
- A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
- Relevant predication. I: The formal theory
- Situations in which disjunctive syllogism can lead from true premises to a false conclusion
- Semantics for relevance logic with identity
- Displaying and deciding substructural logics. I: Logics with contraposition
- Impossible worlds: A modest approach
- Inconsistency without contradiction
- Relevant identity
- Relevant logic and the theory of information
- Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic
- Deontic logic as founded on nonmonotonic logic
- Neighborhoods for entailment
- The semantics of entailment omega
- Paraconsistency everywhere
- CE is not a conservative extension of E
- The strong version of a sentential logic
- First-degree entailment and its relatives
- Order-dual relational semantics for non-distributive propositional logics: a general framework
- A second pretabular classical relevance logic
- Varieties of De Morgan monoids: minimality and irreducible algebras
- Fragments of R-mingle
- Aristotle's Thesis between paraconsistency and modalization
- Combining classical logic, paraconsistency and relevance
- Characterizing finite-valuedness
- The logical structure of linguistic commitment. II: Systems of relevant commitment entailment
- Semantics for dual and symmetric combinatory calculi
- ``Four-valued semantics for the relevant logic R
- Algebraic study of two deductive systems of relevance logic
- Positive modal logic
- Symmetric generalized Galois logics
- The concept of relevance and the logic diagram tradition
- A category equivalence for odd Sugihara monoids and its applications
- Constrained consequence
- Nothing but the truth
- Contradictory information: too much of a good thing
- An incomplete relevant modal logic
- Bi-facial truth: a case for generalized truth values
- A cut-elimination proof in positive relevant logic with necessity
- Simple hyperintensional belief revision
- Identity in Mares-Goldblatt models for quantified relevant logic
- Identity and aboutness
- Cut-free sequent calculus and natural deduction for the tetravalent modal logic
- An incompleteness theorem for modal relevant logics
- A stone-type duality theorem for separation logic via its underlying bunched logics
- Neighbourhood semantics for quantified relevant logics
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
- What is a relevant connective?
- Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention
- Farewell to suppression-freedom
- Relation algebras of Sugihara, Belnap, Meyer, and Church
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
- Basic quasi-Boolean expansions of relevance logics
- A characteristic frame for positive intuitionistic and relevance logic
- Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment
- The scope of Gödel's first incompleteness theorem
- Normal proofs, cut free derivations and structural rules
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
- Existentially closed de Morgan algebras
- Simple axiomatizations for pretabular classical relevance logics
- The logic of generalized truth values and the logic of bilattices
- Lower semilattice-ordered residuated semigroups and substructural logics
- Why ramify?
- Linear and affine logics with temporal, spatial and epistemic operators
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- Representation of interlaced trilattices
- \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs
- Logical pluralism and semantic information
- Belnap's logic and conditional composition
- The theory of the process of explanation generalized to include the inconsistent case
- Combinatory logic and the semantics of substructural logics
- Correspondence analysis and automated proof-searching for first degree entailment
- Current trends in substructural logics
- The eco-cognitive model of abduction. II. Irrelevance and implausibility exculpated
- Editorial introduction: substructural logics and metainferences
- Neighbourhood semantics for modal relevant logics
- A plea for KR
- A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE
- The relevant fragment of first order logic
- The relevance of semantic subtyping
- On when a disjunction is informative. Ambiguous connectives and a realist commitment to pluralism
- The relevance of relevance to relevance logic
- Free of Detachment: Logic, Rationality, and Gluts
- Relational semantics for the 4-valued relevant logics BN4 and E4
- MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
- Stone-type dualities for separation logics
- Manipulating sources of information: towards an interpretation of linear logic and strong relevance logic
- Truth, falsehood, information and beyond: the American plan generalized
- Two, three, four, infinity: the path to the four-valued logic and beyond
- K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
- From iff to is: some new thoughts on identity in relevant logics
- Cut and gamma. I: Propositional and constant domain \textbf{R}
- CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION
- Representable idempotent commutative residuated lattices
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- Relevance logics and intuitionistic negation
- R and relevance principle revisited
- What is relevance logic?
- The Logic of Bunched Implications
- Knowledge representation as domain
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4297115)
