Comments on “logic programming with equations” (original) (raw)
Related papers
2009
Logic and Application: A Reply to S.R. Osmani
Development and Change, 1991
Reasoning, Rules, and Representation
2018
Against the Judgment-Dependence of Mathematics and Logic
Erkenntnis, 2012
Logic, Rationality, and Interaction
Lecture Notes in Computer Science, 2009
A programming approach to mathematics
Computers & Education, 1986
Some remarks on discussive logic
Luiz Henrique Lopes dos Santos
Non-Classical Logics, Model Theory and Computability. A . I . Arruda. N.C.A. da Costa and R. Chuaqui (eds.) 0 North-Holland Publishing Company, 1977
It Must Have Something to do with ?Logic?: A Rejoinder to Aaron Wildavsky
Scandinavian Political Studies, 1991
Constructive Mathematics and Computer Programming
Studies in logic and the foundations of mathematics, 1982
Kalmár Workshop on Logic and Computer Science --- Preface
2007
2022
Synthese, 2006
1991
Modularity in Logic Programming
1993
Classical and Nonclassical Logics, 2020
Rules for syntax, vectors for semantics
Abstractions, composition and reasoning
Proceedings of the 13th workshop on Aspect-oriented modeling - AOM '09, 2009
An Arithmetization of Logical Oppositions
Studies in Universal Logic, 2017
Introduction to the 26th international conference on logic programming special issue
Theory and Practice of Logic Programming, 2010
Reasoning reasonably in mathematics
Some Thoughts about the Hardest Logic Puzzle Ever
Journal of Philosophical Logic, 2001
Notes on Program Semantics and Derivation
Programming for the Humanities - Logic and Adaptable Languages
Proceedings of the 8th International Conference on Computer Supported Education, 2016
Model elimination, logic programming and computing answers
1995
NHRD Network Journal, 2011
A Learning Environment to Practise Logic Programming
Innovations in Education & Training International, 1990
Journalism & Mass Communication Quarterly, 1997
Smart innovation, systems and technologies, 2018
Logic and Logical Philosophy, 2013
2011
Handbook of the History of Logic, 2006
Errors Upon Errors: A Reply to Joyce
Australasian Journal of Philosophy, 2011
Logic and Translation: A Reply to Alan Berger
The Journal of Philosophy, 1982