Results 21 to 30 of about 23,486 (260)
The validity degree vectors of formulae in two-valued predicate logic [PDF]
International Journal of Computational Intelligence Systems, 2015 By means of infinite product of uniformly distributed probability spaces of cardinal , the concept of -validity degrees and validity degree vectors of formulae in two-valued predicate logic are introduced. It is proved that the validity degree vectors of
Xiaoyan Qin, Yang Xu, Yi Liu
doaj +1 more source
Education and Research Archive, 2020 The first sequent calculus, LK is the example after which many other calculi have been fashioned. We describe this calculus, prove its equivalence to the axiom system K, and provide a sound and complete interpretation too. A major part of Section 2.3 is a presentation of the proof of the cut theorem using triple induction.
openaire +3 more sources
Intuitionistic completeness for first order classical logic [PDF]
Journal of Symbolic Logic, 1999 AbstractIn the past sixty years or so, a real forest of intuitionistic models for classical theories has grown. In this paper we will compare intuitionistic models of first order classical theories according to relevant issues, like completeness (w.r.t.
openaire +3 more sources
Philosophia Scientiæ, 2005 Hintikka and Sandu have developed IF logic as a genuine alternative to classical first-order logic : liberalizing dependence schemas between quantifiers, IF would carry out all the ideas already underlying classical logic.
Denis Bonnay
doaj +1 more source
Admissibility, compatibility, and deducibility in first-order sequent logics [PDF]
Computer Science Journal of Moldova, 2015 The paper is about the notions of admissibility and compatibility and their significance for deducibility in different sequent logics including first-order classical and intuitionistic ones both without and with equality and, possibly, with modal rules.
Alexander Lyaletski
doaj
MATEC Web of Conferences, 2018 Game-theoretical interpretation of logical semantics has been first suggested in 1950s. Although it is well know among professionals, it is often excluded from introductory courses in logic.
Glivická Jana
doaj +1 more source
THE LOGICAL SYSTEM OF FREGE'S GRUNDGESTZE: A RATIONAL RECONSTRUCTION
Manuscrito, 2015 This paper aims at clarifying the nature of Frege's system of logic, as presented in the first volume of the Grundgesetze . We undertake a rational reconstruction of this system, by distinguishing its propositional and predicate fragments. This allows us
MÉVEN CADET, MARCO PANZA
doaj +1 more source
Comparing Classical and Relativistic Kinematics in First-Order Logic
Logique et Analyse, 2017 58 pages, 10 ...
Lefever, Koen, Székely, Gergely
openaire +5 more sources
Classical Proofs as Parallel Programs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 We introduce a first proofs-as-parallel-programs correspondence for classical logic. We define a parallel and more powerful extension of the simply typed lambda calculus corresponding to an analytic natural deduction based on the excluded middle law. The
Federico Aschieri +2 more
doaj +1 more source
A Graph Calculus for Predicate Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 We introduce a refutation graph calculus for classical first-order predicate logic, which is an extension of previous ones for binary relations. One reduces logical consequence to establishing that a constructed graph has empty extension, i. e.
Paulo A. S. Veloso, Sheila R. M. Veloso
doaj +1 more source