Home  - Mathematical_Logic - Classical First-order Logic
 Images Newsgroups
 1-51 of 51    1

See This List with Details

1. Classical Logic (Stanford Encyclopedia Of Philosophy)
The following sections provide the basics of a typical logic, sometimes called Classical elementary logic or Classical firstorder logic .
http://plato.stanford.edu/entries/logic-classical/

2. First-order Logic - Wikipedia, The Free Encyclopedia
Intuitionistic first order logic uses intuitionistic rather than Classical propositional calculus; for example, ¬¬ need not be equivalent to .
http://en.wikipedia.org/wiki/First-order_logic

3. Classical First-Order Logic, Axiomatic Set Theory, And Undecidable Propositions
Archive Classical firstorder logic, Axiomatic Set Theory, and Undecidable Propositions Set Theory, logic, Probability, Statistics.
http://physicsforums.com/archive/index.php/t-152184.html

4. First-Order Predicate Logic
The most well known, and probably the simplest of these logics is known as Classical or boolean, firstorder, predicate logic or, perhaps more appropriate
http://rbjones.com/rbjpub/logic/log019.htm

5. Expressing Disjunctive And Negative Feature Constraints With Classical First-ord
Expressing disjunctive and negative feature constraints with Classical firstorder logic. Full text, Full text available on the Publisher site
http://portal.acm.org/citation.cfm?id=981823.981845&coll=GUIDE&dl=#url.dl

6. First-Order Logic With Quotation (FOLQ) On The Semantic Web
We suggest that RDF s limited expressive power can be extended safely to the level of Classical firstorder logic by using a combination of reification and
http://dev.w3.org/2000/10/swap/doc/paper200209.html

7. Classical First-order Predicate Logic
Classical firstorder predicate logic. Classical first-order predicate logic. Let \$P\$ be a predicate without free occurence of variable \$x\$ .
http://unit.aist.go.jp/cvs/Agda/tutorial/node158.html

8. Mason Archive Repository Service: MEBN: A Logic For Open-World Probabilistic Rea
However, such languages have lacked a logical foundation that fully integrates Classical firstorder logic with probability theory. This paper presents such
http://mars.gmu.edu/dspace/handle/1920/461

9. FTP'98 Extended Abstracts
An O((n.log n)^3)time transformation from Grz into decidable fragments of Classical first-order logic Stephane Demri and Rajeev Gore, pages 127-134
http://www.logic.at/ftp98/

10. IngentaConnect First-Order Classical Modal Logic
firstorder Classical Modal logic. Authors Arló-Costa, Horacio1; Pacuit, Eric2. Source Studia logica, Volume 84, Number 2, November 2006 , pp. 171-210(40)
http://www.ingentaconnect.com/content/klu/stud/2006/00000084/00000002/00009010

11. Leeds Logic Seminar 2000 - Abstracts
The Classical decision problem to single out expressive and decidable fragments of first-order logic - has a long history and hardly needs any
http://www.maths.leeds.ac.uk/Pure/logic/Seminar/Logic.Seminar/AbstractsLogic/log

12. Explanation Of The Distinction
The formula `Fx is well known from Classical firstorder logic; when we use Fx to represent such sentences as `John is happy , `Clinton is president ,
http://mally.stanford.edu/distinction.html

13. ScienceDirect - Journal Of Symbolic Computation : Preface To First Order Theorem
Many modal logics can be translated to Classical firstorder logic and thus are amenable to first-order logic methods. A new decision procedure for a

14. Tuple Relational Calculus And The Domain Relational Calculus
Both the tuple relational calculus and the domain relational calculus are based on Classical firstorder logic. Queries have the form
http://cs.wwc.edu/~aabyan/415/TCaRC.html

15. LeanCoP: Lean Connection-Based Theorem Proving
leanCoP is a compact Prolog theorem prover for Classical firstorder logic which is based on the connection calculus. It is sound, complete,
http://www.leancop.de/

16. MATHEMATICAL LOGIC FOR COMPUTER SCIENCE
including Classical logic, constructive logic, and modal logic. Classical firstorder logic Proposition Functions and Quantifiers; first-order
http://www.worldscibooks.com/compsci/3434.html

17. FLoC 2006 - IJCAR
We present DFOL, an extension of Classical firstorder logic with dependent types, i.e., as in Martin-Lof type theory, signatures may contain type-valued
http://www.easychair.org/FLoC-06/IJCAR-day230.html

18. The Dialectica Interpretation Of First-order Classical Affine Logic
We give a Dialecticastyle interpretation of first-order Classical affine logic. By moving to a contraction-free logic, the translation (a.k.a.
http://www.tac.mta.ca/tac/volumes/17/4/17-04abs.html

19. Courses
The thrust of the course will be on natural language constructions that are difficult to describe using the formulation of Classical firstorder logic.
http://www.sfu.ca/~jeffpell/courses.html

20. Intuitionistic Logic -- From Wolfram MathWorld
Similarly, intuitionistic predicate logic is intuitionistic propositional logic combined with Classical firstorder predicate calculus.
http://mathworld.wolfram.com/IntuitionisticLogic.html

21. Topics In Logic Syllabus (Spring 2002)
The course presupposes that you have taken a course which provides a good background in Classical firstorder logic, such as PHIL 2340, Symbolic logic;
http://www.trinity.edu/cbrown/topics_in_logic/syllabus.html

22. 2. FTP 1998, LNCS Volume
An O ((n·log n)3)Time Transformation from Grz into Decidable Fragments of Classical first-order logic. 152-166 Electronic Edition (Springer LINK) BibTeX
http://www.informatik.uni-trier.de/~ley/db/conf/ftp/ftp-lncs1998.html

23. KWTR: First-order Logic - Ontoworld.org
firstorder logic is a well established formalism, and is the basis for many other and results of Classical logic in a rigorous mathematical style.
http://ontoworld.org/wiki/KWTR:_first-order_logic

24. FOL RuleML: The First-Order Logic Web Language
firstorder logic RuleML (FOL RuleML) is introduced here as a language for the first-order notably by Classical negation, for achieving FOL RuleML.
http://www.ruleml.org/fol/

25. AiML: Tools
SPASS A saturation-based resolution theorem prover for first-order logic with equality, sorted logic, and many non-Classical logics including traditional
http://www.cs.man.ac.uk/~schmidt/tools/

26. Categories: Re: Michael Healy's Question On Math And AI
One reason lies in the Classical firstorder logic itself. It works in a blandly uniform way on its formulae that ignores any difference in status as
http://north.ecc.edu/alsani/ct01(1-4)/msg00021.html

27. FOL RuleML: The First-Order Logic Web Language
Classical FOL model theory provides the semantics of FOL RuleML. firstorder logic RuleML (FOL RuleML) is introduced here as a language for the
http://www.w3.org/Submission/FOL-RuleML/

28. Neil Tennant
We shall establish the decidability of Classical monadic firstorder logic. We shall isolate intuitionistic logic as a subsystem of Classical logic,
http://people.cohums.ohio-state.edu/tennant9/650.html

29. Book Many-dimensional Modal Logics : Theory Applications, (studies In Logic The
I Introduction 1 Modal logic basics 1.1 Modal axiomatic systems 1.2 Possible world semantics 1.3 Classical firstorder logic and the standard translation
http://www.lavoisier.fr/notice/gb402605.html

30. Ian Hodkinson: Monodic Fragments Of First-order Temporal Logic
In this paper, we introduce a new fragment of the firstorder temporal language, problem for a certain fragment of Classical first-order logic.
http://www.doc.ic.ac.uk/~imh/frames_website/monodic.html

31. Anna Mikhajlova And Joakim Von Wright, Proving Isomorphism Of First-Order Logic
We prove in HOL that three proof systems for Classical firstorder predicate logic, the Hilbertian axiomatization, the system of natural deduction,
http://historical.ncstrl.org/litesite-data/tucs_fi/TR169.html

32. Theorem Proving
Lecture 14 Theorem Proving in Classical Propositional and first-order logic. History; Syntax and semantics of propositional and first-order logic
http://www.ags.uni-sb.de/~chris/lectures/fol-hol-tp/index.html

33. Mechanized Reasoning Systems
GETFOL a proof system for sorted first order logic based on R. . proofs in Classical firstorder logic using deductive tableaux graphical notation.
http://www.calculemus.org/MathUniversalis/3/listsoft.html

34. PlanetMath: First Order Logic
first order logic is owned by Henry. Other names, Classical first order logic, FO This is version 4 of first order logic, born on 200208-28,
http://planetmath.org/encyclopedia/FirstOrderLogic.html

35. JSTOR Denial In First Order Logic
By first order logic one means the logic of truthfunctions and quantification. . and ambiguities can be expressed in Classical first order logic.

36. DI & CoS - Classical And Intuitionistic Logic
We present an inference system for Classical first order logic in which each inference rule, including the cut, only has a finite set of premises to choose
http://alessio.guglielmi.name/res/cos/CL/index.html

Their recommendations never go beyond the realm of Classical first order logic. Is that enough? Some of the papers of this issue can be seen as an
http://jigpal.oxfordjournals.org/cgi/content/full/15/4/289

38. Interpretation And Satisfiability In The First Order Logic
Interpretation and Satisfiability in the First Order logic. Edmund Woronowicz Warsaw University 4 Czeslaw Bylinski. A Classical first order language.
http://mizar.org/JFM/Vol2/valuat_1.html

39. CS3411 Advanced Knowledge Based Systems
The first part of the course will review the basic concepts of Classical first order predicate logic, and will give the student the ability to model reality
http://www.inf.unibz.it/~franconi/teaching/1999/3411/

40. Book Review Of The Classical Decision Problem By
After that I will add some remarks concerning tiling problems, other fragments of first order logic, and end with some personal remarks. The Classical
http://research.microsoft.com/~gurevich/Books/book3-review.html

41. FOL/Intuitionistic Logic Versus NAFL. Part 1. Failure Of Non-contradiction - Sci
You say syntax is as Classical first order logic. So what nonlogical axioms are allowed or disallowed by NAFL? I will get to these.

42. [Ber99] Intuitionistic Completness For First Order Classical Logic
@article{Berardi2JSL, number = {1}, volume = {64}, title = {Intuitionistic Completness for First Order Classical logic}, author = {Stefano Berardi},
http://www.di.unito.it/~lambda/biblio/entry-Berardi2-JSL.html

43. Mbox: Spelling Out The Manifesto
The claim is that each proof of a result A in a logic L can be converted into a proof of the reification of A in Classical first order logic.
http://www-unix.mcs.anl.gov/qed/mail-archive/volume-2/0150.html

44. Proof Terms For Classical Logic In Natural Deduction Formulation
PROOF TERM ASSIGNMENT for Classical logic in NATURAL DEDUCTION FORMULATION In this note we will define a proof term calculus for First Order Classical logic
http://www.seas.upenn.edu/~sweirich/types/archive/1993/msg00133.html

45. KRR Research: ID-Logic Introduction
However, it itegrates ideas from this domain into the Classical, monotone setting of first order logic. As such, this logic provides a bridge across the
http://www.cs.kuleuven.be/~dtai/krr/idlogic/intro.html

 1-51 of 51    1