scientific article; zbMATH DE number 3115104
From MaRDI portal
Publication:3229401
Recommendations
- scientific article; zbMATH DE number 193626
- scientific article; zbMATH DE number 1461245
- Mathematical logic
- scientific article; zbMATH DE number 663929
- Mathematical logic
- scientific article; zbMATH DE number 3106607
- scientific article; zbMATH DE number 5306054
- scientific article; zbMATH DE number 5500964
- Mathematical Logic
- scientific article; zbMATH DE number 3241254
Cited in
(40)- Solving the \$100 modal logic challenge
- A new formulation of discussive logic
- A complete logic for n-permutable congruence lattices
- The elimination of descriptions from A. Bressan's modal language \(ML^\nu\) on which the logical calculus \(MC^\nu\) is based
- 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
- The interpreted type-free modal calculus MC^. II: Foundations of MC^
- A modern rigorous approach to stratification in NF/NFU
- On the semantics of the ought-to-do
- Metodo di assiomatizzazione in senso stretto della meccanica classica. Applicazione di esso ad alcuni problemi di assiomatizzazione non ancora completamente risolti
- The foundations of mathematics in the theory of sets
- A Brief History of Natural Deduction
- Taming the incomputable, reconstructing the nonconstructive and deciding the undecidable in mathematical economics
- scientific article; zbMATH DE number 4014698 (Why is no real title available?)
- The logic of number
- Natural Logicism via the Logic of Orderly Pairing
- scientific article; zbMATH DE number 4057470 (Why is no real title available?)
- Stanisław Jaśkowski and Natural Deduction Systems
- A post-style proof of completeness theorem for symmetric relatedness logic S
- Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors
- Equational logic as a tool
- A formal framework for the study of the notion of undefined particle number in quantum mechanics
- Fregean Description Theory in Proof-Theoretical Setting
- Why Sets?
- A new-old characterisation of logical knowledge
- An algebraic formulation of K-N propositional calculus, II
- scientific article; zbMATH DE number 3249766 (Why is no real title available?)
- An algebraic formulation of K-N propositional calculus
- An algebraic formulation of K-N propositional calculus, III
- On a set theory suggested by Dedecker and Ehresmann, II
- scientific article; zbMATH DE number 2212015 (Why is no real title available?)
- The logic of Leibniz's \textit{Generales inquisitiones de analysi notionum et veritatum}
- The theory of classes A modification of von Neumann's system
- scientific article; zbMATH DE number 3028332 (Why is no real title available?)
- scientific article; zbMATH DE number 3049488 (Why is no real title available?)
- On a synonymy relation for extensional first order theories. I: A notion of synonymy
- A fixed point theory over stratified truth
- Towards proof-theoretic formulation of the general theory of term-forming operators
- Algorithmic economics: incomputability, undecidability and unsolvability in economics
- Equational propositional logic
- Saul Kripke: a portrait of the modal logician as a young man
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3229401)
