Symbolic logic and mechanical theorem proving

Keywords

Mathematics, Computer science, Calculus (dental), Medicine

References

No references recorded for this paper.

Cited by

• Capability Representations for Brokering A SurveyGerhard Wickler, Austin Tate — 2011
• A Partial Instantiation Based First Order Theorem ProverVijay Chandru, John Hooker, Anjul Shrivastava — 1998
• Processing of Syntax and Semantics of Natural Language by Predicate Logic of Predicate LogicHiroyuki Yamauchi — 1980
• Automated synthesis and optimization of multilevel logic circuits.Lingli Wang — 2000
• A Method for Semantic Optimization of Complex Event ProcessingOlga Poppe — 2011
• Refinement of Datalog ProgramsFloriana Esposito, Angela Laterza, Donato Malerba — 2007
• Systematic and Scalable Testing of Concurrent ProgramsRandy Bryant, Garth A. Gibson, Jiřı Šimša — 2013
• Advanced Relaxation for Cooperative Question AnsweringFarah Benamara, Patrick Saint‐Dizier — 2004
• Distributing and- and or-work in the Andorra-I parallel logic programming systemInês Dutra — 1995
• An Almost Quadratic Class of Satisfiability ProblemsMukesh Dalal — 1996
• Extracting Case-based Answers from Closed Proof-treesI. G. Barbosa, N. Vieira — 2010
• Constraint Model-based Exploration of Simulation Trajectories in a MABS ModelOswaldo Terán, Bruce Edmonds — 2004
• Propositional theorem proving by semantic tree trimming for hardware verificationDavid A. Plaisted, William John Yakowenko — 1999
• RIF Framework for Logic DialectsHarold Boley, Michael Kifer — 2009
• A logical formulation of the Boolean model and of weighted Boolean modelsGabriella Pasi — 2007
• Refinements of Theory Model Elimination and a Variant without ContrapositivesPeter Baumgartner — 1994
• A Unified Approach to Theory ReasoningPeter Baumgartner, Ulrich Furbach, Uwe Petermann — 2007
• Formal semantics and verification of use case mapsJameleddine Hassine — 2008
• Using Active Connection Graphs for Reasoning with Recursive RulesDonald P. MoKay, Stuart C. Shapiro — 1981
• Maximum Entropy in Nilsson's Probabilistic LogicThomas B. Kane — 1989

Related papers

• Primärzerlegung in Steinschen AlgebrenOtto Förster — 1964
• Über unirationale Scharen auf algebraischen MannigfaltigkeitenLudwig Reich — 1966
• Algebraic Set Operations, Multifunctions, and Indefinite IntegralsMilan V. Jovanović, Veselin Jungić — 1996
• On Almost α(Λ, sp)-continuous MultifunctionsChawalit Boonpok, Jeeranunt Khampakdee — 2022
• Produkttreue Klassen universeller AlgebrenJürgen Timm — 1969
• Approximation of fixed points of multifunctions in partial metric spacesDaniela Paesano — 2015
• The World of Jagdish N. SrivastavaSubir Ghosh, Sudhir Gupta, Rahul Mukerjee — 2013
• Hardy spaces of analytic multifunctions.Jonas Avelin — 1997
• The equivalence of uninorms induced by the U-partial orderEmel Aşıcı — 2019