Abstract
In Anderson and Belnap [8] there was developed a semantics for first degree entailments (fde), i.e., entailments A → B between formulas A and B involving only truth-functions (defined in terms of “or” and “not”) and quantifiers. The key ideas were (i) the notion of a frame ⟨P, FIP, I⟩, where P is a set of (intensional) propositions closed under negation and multiple disjunction, I is a domain of individuals, and FIP is the set of functions from I into P; and (ii) the semantic relation of cons (consequence), as obtaining between a set of propositions taken conjunctively, and a set taken disjunctively; and (iii) the notion of an atomic frame, i.e., a frame generated by a set of propositions X closed under negation, such that for any disjoint subclasses Y and Z of X, Y does not bear cons to Z.
Publisher
Cambridge University Press (CUP)
Reference17 articles.
1. The deduction theorems and two new logical systems;Shaw-Kwei;Methodos,1950
2. EQ and the First Order Functional Calculus
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Tarskian Classical Relevant Logic;Outstanding Contributions to Logic;2021-09-25
2. A Relevant Logic of Questions;Journal of Philosophical Logic;2020-01-21
3. Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond;New Essays on Belnap-Dunn Logic;2019
4. Larisa Maksimova’s Early Contributions to Relevance Logic;Larisa Maksimova on Implication, Interpolation, and Definability;2018
5. Knowledge as Fact-Tracking True Belief;Manuscrito;2017-12