A Functional calculus of first order based on strict implication

DOI10.2307/2269159zbMath0063.00205OpenAlexW1968233326WikidataQ56227310 ScholiaQ56227310MaRDI QIDQ5841792

Ruth C. Barcan

Publication date: 1946

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2269159

Related Items

Time and determinism, Differential Game Logic, Quantified temporal alethic boulesic doxastic logic, Barcan Both Ways, The broadest necessity, Universe of discourse and existence, Leon Henkin the Reviewer, Essence and necessity, Meredith, Prior, and the history of possible worlds semantics, First-order classical modal logic, THE QUANTIFIED ARGUMENT CALCULUS, Extensional higher-order paramodulation in Leo-III, A note on Barcan formula, STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS, Solving modal logic problems by translation to higher-order logic, Intuitionistic fuzzy interpretations of Barcan formulas, Logical analysis of emotions in text from natural language, Contingent objects and the Barcan formula, Quine on intensional entities: modality and quantification, truth and satisfaction, Opacity and the double life of singular propositions, Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support, Delimited control operators prove double-negation shift, EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS, Quantified temporal alethic-deontic logic, On a derivation of the necessity of identity, Doxastic logic: a new approach, Prior, translational semantics, and the Barcan formula, Prior on the semantics of modal and tense logic, Prior and possibly not existing, Unnamed Item, The concept of a linguistic variable and its application to approximate reasoning. I, The concept of a linguistic variable and its application to approximate reasoning. II, The concept of a linguistic variable and its application to approximate reasoning. III, Validity and necessity, The modal logic of reverse mathematics

Cites Work

• A reduction in number of the postulates for C. I. Lewis’ system of strict implication