Automating Leibniz’s Theory of Concepts
DOI10.1007/978-3-319-21401-6_4zbMath1465.03049DBLPconf/cade/AlamaOZ15OpenAlexW1436479552WikidataQ58127007 ScholiaQ58127007MaRDI QIDQ3454082
Paul Oppenheimer, Edward N. Zalta, Jesse Alama
Publication date: 2 December 2015
Published in: Automated Deduction - CADE-25 (Search for Journal in Brave)
Full work available at URL: https://philpapers.org/rec/OPPALT
modal logicrepresentationautomated reasoninghigher-order logicmodel theoryabstract objectsLeibniztheorem provertheory explorationtheory of conceptsfinite modelmodal metaphysicscomplete individual conceptscomputational philosophycontainment theory of truth
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Mechanization of proofs and logical operations (03B35) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cites Work
- Unnamed Item
- Effect of tensor g-factor on the spectrum of eigen modes in magnetoactive plasma
- Chains with infinite connections: Uniqueness and Markov representation
- Twenty-five basic theorems in situation and world theory
- QUANTUM THEORY OF WORMHOLES
- Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations
- A completeness theorem in modal logic
- Theorem Proving via General Matings
- Uniqueness ing-measures
- Complete independence of an axiom system for central translations
- Completeness in the theory of types
This page was built for publication: Automating Leibniz’s Theory of Concepts
