Models for entailment
From MaRDI portal
Publication:1213436
Cited in
(48)- SUBSTRUCTURAL INQUISITIVE LOGICS
- Relation algebras of Sugihara, Belnap, Meyer, and Church
- Truthmaker semantics for relevant logic
- A relevant logic of questions
- Sequent-systems and groupoid models. I
- Logical pluralism and semantic information
- Ternary relations and relevant semantics
- A substructural approach to explicit modal logic
- Classical relevant logics. II
- The relevance of relevance to relevance logic
- Substructural epistemic logics
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
- Substructural nuclear (image-based) logics and operational Kripke-style semantics
- Grounding rules for (relevant) implication
- Free semantics
- Conserving involution in residuated structures
- Investigations into a left-structural right-substructural sequent calculus
- On the ternary relation and conditionality
- Cut and gamma. I: Propositional and constant domain \textbf{R}
- Disjunction and negation in information based semantics
- Manipulating sources of information: towards an interpretation of linear logic and strong relevance logic
- Epistemic logics for relevant reasoners
- Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions)
- The Universal Theory Tool Building Toolkit Is Substructural
- Lambek calculus with conjugates
- Sequent-systems and groupoid models. II
- IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
- A relevant theory of conditionals
- A Lewisian semantics for S2
- Algebraic Kripke-style semantics for relevance logics
- Notes on stratified semantics
- Deep fried logic
- A content semantics for quantified relevant logics. I
- The logical structure of linguistic commitment. II: Systems of relevant commitment entailment
- CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION
- Semantics for relevance logic with identity
- An incompleteness theorem for modal relevant logics
- Relevance Domains and the Philosophy of Science
- Classically complete modal relevant logics
- A reinterpretation of the semilattice semantics with applications
- The semantics of \(R4\)
- Relevant logic and the theory of information
- Grounding principles for (relevant) implication
- Subminimal negation on the Australian plan
- Revisiting Semilattice Semantics
- What is a relevant connective?
- Identity in Mares-Goldblatt models for quantified relevant logic
- A hyperintensional logic of non-prime evidence
This page was built for publication: Models for entailment
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1213436)