There are some questions that can't be answered by logic

Abstract

• Relational logic = First Order Logic plus Relational Operators. • Most relational operations are expressible in first order logic, but not all of them

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Specification with Alloy — Foundations.Jan van Eijck - unknown
The semijoin algebra and the guarded fragment.Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz & Jan Van den Bussche - 2005 - Journal of Logic, Language and Information 14 (3):331-343.
Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance.Joanna Golinska-Pilarek & Emilio Munoz Velasco - 2009 - Logic Journal of the IGPL 17 (4):375–394.
If logic meets paraconsistent logic.Jaakko Hintikka - unknown
Mechanizing logic I, map logic extended formally to relational arguments & Mechanizing logic II, automated map logic method for relational arguments on paper and by computer.John S. Rybak - 1983 - Sydney: J. & J. Rybak. Edited by Janet M. Rybak.
The logic of how-questions.William Jaworski - 2009 - Synthese 166 (1):133 - 155.
Topological completeness for higher-order logic.S. Awodey & C. Butz - 2000 - Journal of Symbolic Logic 65 (3):1168-1182.
Relational dual tableau decision procedure for modal logic K.Joanna Golińska-Pilarek, Emilio Munoz-Velasco & Angel Mora - 2012 - Logic Journal of the IGPL 20 (4):747-756.
About Testing and Specification . . . and about First Order Logic.Jan van Eijck - unknown
The logic of questions as a theory of erotetic arguments.Andrzej Wiśniewski - 1996 - Synthese 109 (1):1 - 25.
Argument deletion, thematic roles, and Leibniz's logico-grammatical analysis of relations.Francesco Orilia - 2000 - History and Philosophy of Logic 21 (2):147-162.
Implementing a relational theorem prover for modal logic K.Angel Mora, Emilio Munoz Velasco & Joanna Golińska-Pilarek - 2011 - International Journal of Computer Mathematics 88 (9):1869-1884.
Combinator logics.Lou Goble - 2004 - Studia Logica 76 (1):17 - 66.
A new deduction system for deciding validity in modal logic K.Joanna Golinska-Pilarek, Emilio Munoz Velasco & Angel Mora - 2011 - Logic Journal of the IGPL 19 (2): 425-434.

Analytics

Added to PP
2010-11-21

Downloads
48 (#324,723)

6 months
1 (#1,516,429)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jan Van Eijck
University of Amsterdam

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references