Models for entailment

DOI10.1007/BF00257480MaRDI QIDQ1213436zbMATH OpenOpenAlexFDO

Authors Kit Fine

Publication date 1974

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

Full work available at URL https://doi.org/10.1007/bf00257480

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Categoricity and completeness of theories (03C35)

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)