The following pages link to (Q3229401):
Displaying 27 items.
- A formal framework for the study of the notion of undefined particle number in quantum mechanics (Q514076) (← links)
- On a synonymy relation for extensional first order theories. I: A notion of synonymy (Q594088) (← links)
- Equational propositional logic (Q674268) (← links)
- Solving the \$100 modal logic challenge (Q1006738) (← links)
- A new formulation of discussive logic (Q1137988) (← links)
- A complete logic for n-permutable congruence lattices (Q1161547) (← links)
- The elimination of descriptions from A. Bressan's modal language \(ML^\nu\) on which the logical calculus \(MC^\nu\) is based (Q1248616) (← links)
- 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 (Q1394219) (← links)
- The interpreted type-free modal calculus MC\(^\infty\). II: Foundations of MC\(^\infty\) (Q1844817) (← links)
- A modern rigorous approach to stratification in NF/NFU (Q2084571) (← links)
- On the semantics of the ought-to-do (Q2543981) (← links)
- Metodo di assiomatizzazione in senso stretto della meccanica classica. Applicazione di esso ad alcuni problemi di assiomatizzazione non ancora completamente risolti (Q2625342) (← links)
- A Brief History of Natural Deduction (Q2757973) (← links)
- TAMING THE INCOMPUTABLE, RECONSTRUCTING THE NONCONSTRUCTIVE AND DECIDING THE UNDECIDABLE IN MATHEMATICAL ECONOMICS (Q2873496) (← links)
- Stanisław Jaśkowski and Natural Deduction Systems (Q4611686) (← links)
- A Post-style proof of completeness theorem for symmetric relatedness Logic S (Q4629294) (← links)
- Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors (Q4807997) (← links)
- Equational logic as a tool (Q5096377) (← links)
- Fregean Description Theory in Proof-Theoretical Setting (Q5215499) (← links)
- Why Sets? (Q5452179) (← links)
- A New–old Characterisation of Logical Knowledge (Q5497107) (← links)
- An algebraic formulation of $K-N$ propositional calculus, II (Q5534204) (← links)
- An algebraic formulation of $K-N$ propositional calculus (Q5551109) (← links)
- An algebraic formulation of $K-N$ propositional calculus, III (Q5561923) (← links)
- On a set theory suggested by Dedecker and Ehresmann, II (Q5602918) (← links)
- THE LOGIC OF LEIBNIZ’S<i>GENERALES INQUISITIONES DE ANALYSI NOTIONUM ET VERITATUM</i> (Q5737942) (← links)
- A fixed point theory over stratified truth (Q6047658) (← links)
