Models for entailment

DOI10.1007/BF00257480zbMath0296.02013OpenAlexW2016788972MaRDI QIDQ1213436

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)

Related Items (44)

IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 ⋮ A relevant logic of questions ⋮ Disjunction and negation in information based semantics ⋮ What is a relevant connective? ⋮ A relevant theory of conditionals ⋮ A content semantics for quantified relevant logics. I ⋮ Sequent-systems and groupoid models. I ⋮ Ternary relations and relevant semantics ⋮ Free semantics ⋮ The Relevance of Relevance to Relevance Logic ⋮ Classically complete modal relevant logics ⋮ Substructural epistemic logics ⋮ Truthmaker semantics for relevant logic ⋮ A substructural approach to explicit modal logic ⋮ Grounding principles for (relevant) implication ⋮ Relation algebras of Sugihara, Belnap, Meyer, and Church ⋮ On the ternary relation and conditionality ⋮ SUBSTRUCTURAL INQUISITIVE LOGICS ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS ⋮ Logical pluralism and semantic information ⋮ Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic ⋮ Semantics for relevance logic with identity ⋮ The semantics of \(R4\) ⋮ Classical relevant logics. II ⋮ Conserving involution in residuated structures ⋮ Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions) ⋮ Investigations into a left-structural right-substructural sequent calculus ⋮ A reinterpretation of the semilattice semantics with applications ⋮ Lambek calculus with conjugates ⋮ Sequent-systems and groupoid models. II ⋮ Identity in Mares-Goldblatt models for quantified relevant logic ⋮ CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN R ⋮ The logical structure of linguistic commitment. II: Systems of relevant commitment entailment ⋮ CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION ⋮ A Lewisian Semantics for S2 ⋮ An incompleteness theorem for modal relevant logics ⋮ Notes on stratified semantics ⋮ Subminimal negation on the Australian plan ⋮ Relevant logic and the theory of information ⋮ Grounding rules for (relevant) implication ⋮ Relevance Domains and the Philosophy of Science ⋮ Revisiting Semilattice Semantics ⋮ The Universal Theory Tool Building Toolkit Is Substructural

This page was built for publication: Models for entailment