scientific article
From MaRDI portal
Publication:3229401
zbMath0068.00707MaRDI QIDQ3229401
Publication date: 1953
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
An algebraic formulation of $K-N$ propositional calculus, An algebraic formulation of $K-N$ propositional calculus, III, Metodo di assiomatizzazione in senso stretto della meccanica classica. Applicazione di esso ad alcuni problemi di assiomatizzazione non ancora completamente risolti, Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors, On a set theory suggested by Dedecker and Ehresmann, II, On a synonymy relation for extensional first order theories. I: A notion of synonymy, Equational logic as a tool, A new formulation of discussive logic, A fixed point theory over stratified truth, The interpreted type-free modal calculus MC\(^\infty\). I: The type free extensional calculus EC\(^\infty\) involving individuals, and the interpreted language ML\(^\infty\) on which MC\(\infty\) is based, Stanisław Jaśkowski and Natural Deduction Systems, A complete logic for n-permutable congruence lattices, A Post-style proof of completeness theorem for symmetric relatedness Logic S, Equational propositional logic, A formal framework for the study of the notion of undefined particle number in quantum mechanics, A Brief History of Natural Deduction, THE LOGIC OF LEIBNIZ’SGENERALES INQUISITIONES DE ANALYSI NOTIONUM ET VERITATUM, Why Sets?, The elimination of descriptions from A. Bressan's modal language \(ML^\nu\) on which the logical calculus \(MC^\nu\) is based, Solving the \$100 modal logic challenge, Fregean Description Theory in Proof-Theoretical Setting, On the semantics of the ought-to-do, A New–old Characterisation of Logical Knowledge, A modern rigorous approach to stratification in NF/NFU, The interpreted type-free modal calculus MC\(^\infty\). II: Foundations of MC\(^\infty\), An algebraic formulation of $K-N$ propositional calculus, II, TAMING THE INCOMPUTABLE, RECONSTRUCTING THE NONCONSTRUCTIVE AND DECIDING THE UNDECIDABLE IN MATHEMATICAL ECONOMICS
