Semantical analyses of propositional systems of Fitch and Nelson
- 1 September 1974
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 33 (3) , 283-298
- https://doi.org/10.1007/bf02123283
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A semantical study of constructible falsityMathematical Logic Quarterly, 1969
- Propositional Logics Related to Heyting's and Johansson'sTheoria, 1968
- A decision procedure for Fitch's propositional calculus.Notre Dame Journal of Formal Logic, 1967
- Semantical Analysis of Modal Logic I Normal Modal Propositional CalculiMathematical Logic Quarterly, 1963
- Constructible falsityThe Journal of Symbolic Logic, 1949