- Kant on the possibilities of mathematics and the scope and limits of logic
2019/08/07 by Frode Kjosavik · 1 citation
Arts and Humanities · Mathematics · Psychology · #Classical logic #Computer science #Discrete mathematics #Epistemology #Infinity #Intuition #Kantian Philosophy and Modern Interpretations #Mathematical proof #Mathematics #Metaphysics #Philosophical Ethics and Theory #Philosophy #Philosophy and Theoretical Science #Reductio ad absurdum #Scope (computer science) #Transcendental idealism #Transcendental number
- Proof theory for minimal quantum logic I
1994/01/01 by Hirokazu Nishimura · 2 citations
Computer Science · Mathematics · #Advanced Algebra and Logic #Algebra over a field #Calculus (dental) #Classical logic #Completeness (order theory) #Discrete mathematics #Duality (order theory) #Gödel's completeness theorem #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematical analysis #Mathematical proof #Mathematics #Physics #Pure mathematics #Quantum #Quantum computer #Quantum logic #Quantum mechanics
- Nonmonotonic reasoning, preferential models and cumulative logics
1990/07/01 by Sarit Kraus, Daniel Lehmann, Menachem Magidor · 65 citations
Computer Science · Mathematics · #Advanced Algebra and Logic #Artificial intelligence #Belief revision #Classical logic #Computer science #Discrete mathematics #Epistemology #Extension (predicate logic) #Logic, Reasoning, and Knowledge #Mathematics #Monotonic function #Non-monotonic logic #Predicate (mathematical logic) #Probabilistic logic #Programming language #Property (philosophy) #Propositional calculus #Semantic Web and Ontologies #Theoretical computer science