Results 31 to 40 of about 506,932 (281)
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
An alternative proof method for possibilistic logic and its application to terminological logics [PDF]
, 1993 Possibilistic logic, an extension of first-order logic, deals with uncertainty that can be estimated in terms of possibility and necessity measures. Syntactically, this means that a first-order formula is equipped with a possibility degree or a necessity
Baader +8 more
core +2 more sources
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
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
Superdeduction in Lambda-Bar-Mu-Mu-Tilde [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Superdeduction is a method specially designed to ease the use of first-order theories in predicate logic. The theory is used to enrich the deduction system with new deduction rules in a systematic, correct and complete way.
Clément Houtmann
doaj +1 more source
Classical and fuzzy logic evaluation of students' master theses in Matlab Fuzzy Logic Toolbox software: Dealing with subjectivity in human reasoning [PDF]
Agroznanje, 2018 The two-level evaluation of defined objectives, presented materials and methods and interpretation of results in master theses was done, in order to estimate their scientific contribution and statistical relevance. First level of evaluation was performed
Hajder Đurađ, Mićić Nikola
doaj +1 more source
Complete Additivity and Modal Incompleteness [PDF]
, 2019 In this paper, we tell a story about incompleteness in modal logic. The story weaves together a paper of van Benthem, `Syntactic aspects of modal incompleteness theorems,' and a longstanding open question: whether every normal modal logic can be ...
Holliday, Wesley H., Litak, Tadeusz
core +2 more sources
Automating relatively complete verification of higher-order functional programs [PDF]
, 2013 We present an automated approach to relatively completely verifying safety (i.e., reachability) property of higher-order functional programs. Our contribution is two-fold.
Kobayashi Naoki +3 more
core +1 more source
Towards depth-bounded natural deduction for classical first-order logic [PDF]
, 2021 Summary: In this paper we lay the foundations of a new proof-theory for classical first-order logic that allows for a natural characterization of a notion of inferential depth. The approach we propose here aims towards extending the proof-theoretical framework presented by \textit{M. D'Agostino} et al. [Stud. Log. 108, No.
M. D'Agostino, C. Larese, S. Modgil
openaire +1 more source
Tableau Systems for Epistemic Positional Logics
Bulletin of the Section of Logic, 2021 The goal of the article is twofold. The first one is to provide logics based on positional semantics which will be suitable for the analysis of epistemic modalities such as ‘agent ... knows/beliefs that ...’.
Mateusz Klonowski +2 more
doaj +1 more source