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

(59)

• Investigations into a left-structural right-substructural sequent calculus
• A content semantics for quantified relevant logics. I
• Sequent-systems and groupoid models. I
• Semantics for relevance logic with identity
• The semantics of \(R4\)
• Classical relevant logics. II
• Sequent-systems and groupoid models. II
• Relevant logic and the theory of information
• The logical structure of linguistic commitment. II: Systems of relevant commitment entailment
• A relevant theory of conditionals
• A reinterpretation of the semilattice semantics with applications
• Lambek calculus with conjugates
• Identity in Mares-Goldblatt models for quantified relevant logic
• An incompleteness theorem for modal relevant logics
• Subminimal negation on the Australian plan
• Disjunction and negation in information based semantics
• What is a relevant connective?
• Truthmaker semantics for relevant logic
• Relation algebras of Sugihara, Belnap, Meyer, and Church
• Notes on stratified semantics
• Logical pluralism and semantic information
• Grounding principles for (relevant) implication
• The relevance of relevance to relevance logic
• Manipulating sources of information: towards an interpretation of linear logic and strong relevance logic
• Cut and gamma. I: Propositional and constant domain \textbf{R}
• CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION
• RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
• Classically complete modal relevant logics
• On the ternary relation and conditionality
• Substructural epistemic logics
• Algebraic Kripke-style semantics for relevance logics
• A Lewisian semantics for S2
• Grounding rules for (relevant) implication
• Relevance Domains and the Philosophy of Science
• Revisiting Semilattice Semantics
• The Universal Theory Tool Building Toolkit Is Substructural
• IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
• SUBSTRUCTURAL INQUISITIVE LOGICS
• Conserving involution in residuated structures
• Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions)
• Ternary relations and relevant semantics
• Free semantics
• A substructural approach to explicit modal logic
• A hyperintensional logic of non-prime evidence
• Substructural nuclear (image-based) logics and operational Kripke-style semantics
• Epistemic logics for relevant reasoners
• Deep fried logic
• Truthmakers and relevance for FDE, LP, K3, and CL
• Conjunctive and disjunctive parts
• `Truthmaker semantics for relevance logic': response to `Fine's semantics for relevance logic and its relevance' by Katalin Bimbó and J. Michael Dunn
• Fine's semantics for relevance logic and its relevance
• Models for official entailment
• Nondeterministic and nonconcurrent computational semantics for \(\mathrm{BB}^+\) and related logics
• Relevant semantics for connexive logics
• Frege meets Belnap: Basic Law V in a relevant logic
• Semantics for second-order relevant logics
• Introduction: directions and new directions
• New(ish) foundations for theories of entailment
• A relevant logic of questions

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)