Predicate calculus: concepts and misconceptions (original) (raw)
Related papers
A Programmer's Introduction to Predicate Logic
Technical Report, University of Mississippi, Department of Computer and Information Science, 2006
A study of intermediate predicate logics
Publications of the Research Institute for Mathematical Sciences, 1972
Dijkstra-Scholten predicate calculus: concepts and misconceptions
Acta Informatica, 1998
stoqnet.org
Predicate Concepts and their Normal Form
Computación y Sistemas, 2022
2016
Defining a framework for the analysis of predicates
2005
A Partial Predicate Calculus in a Two-Valued Logic
Mathematical Logic Quarterly, 1983
A Gentzen-style axiomatization for basic predicate calculus
Archive for Mathematical Logic, 2003
Extending a first order predicate calculus with partially defined iota terms
Bulletin of the Belgian Mathematical Society Simon Stevin, 2007
From Syllogism to Predicate Calculus
1994
A cumulative hierarchy of predicates
Mathematical Logic Quarterly, 1975
Predicate Logic for Software Engineering
An equational approach to theorem proving in first-order predicate calculus
International Joint Conference on Artificial Intelligence, 1985
Experience with Predicate Abstraction
1999
Preferential Logics: the Predicate Calculus Case
Overview of proposition and predicate logic
Proceedings of the Workshop on Syntax of Predication, Nov 2-3, 2001, ZAS-Berlin
ZAS Papers in Linguistics, 2001
Existence Predicates (Synthese 197.1, 2020, 311–335)
Synthese , 2020
The Proper Treatment of Variables in Predicate Logic
Linguistics and Philosophy, 2018
On the Elimination of Quantifiers through Descriptors in Predicate Logic
Language as a Database: Predicates and their modifiers as database relations
Language as a Database: Predicates and their modifiers as database relations, 2024
The structure of criterion predicates
Exact knowledge compilation in predicate calculus: The partial achievement case
Lecture Notes in Computer Science, 1997
A Programming Tool for Management of a Predicate-Calculus-Oriented Data Base
International Joint Conference on Artificial Intelligence, 1971
Journal of East Asian Linguistics, 1994
The mathematics of set predicates in Prolog
1993
Essentially General Predicates
Midwest Studies in Philosophy, 1993
On A New Semantics for First-Order Predicate Logic
Journal of Philosophical Logic
Curso de Lógica y Matemática-Unidad 3: Programación en lógica definida y resolución
saber.ula.ve
Quantifiers and qualifiers : a unified approach 0
2008
Appendix G: LogiQL and Predicate Logic
LogiQL
Mathematical methods in linguistics
1990
Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case