Results 41 to 50 of about 939,241 (354)

forall x: Calgary. An Introduction to Formal Logic [PDF]

, 2021
forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order ...
Button, Tim, Magnus, P. D., Thomas-Bolduc, Aaron, Trueman, Robert, Zach, Richard   +4 more
core  

The Finite Satisfiability Problem for Two-Variable, First-Order Logic with one Transitive Relation is Decidable

, 2017
We consider the two-variable fragment of first-order logic with one distinguished binary predicate constrained to be interpreted as a transitive relation.
Pratt-Hartmann, Ian
core   +1 more source

Necessity in the Thought of Avicenna [PDF]

حکمت و فلسفه, 2018
To Avicenna, the relation between the subject and the predicate is of three kinds: possibility, necessity, and impossibility. Impossibility is the same as necessary non-existence. The word ‘modal’ in modal logic refers to these three.
milad omrani, Fereshteh Nabati
doaj   +1 more source

Quantifiers and existence

Principia: An International Journal of Epistemology
There are some sentences that include expressions that refer to entities that do not exist. One example is this: Mary is in terror of werewolves. Some argue that this sentence cannot be translated into predicate logic.
Víctor Cantero-Flores
doaj   +1 more source

Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition [PDF]

Computer Science Journal of Moldova, 2019
Partial quasiary predicates are used in programming for representing program semantics and in logic for formalizing predicates over partial variable assignments.
Mykola Nikitchenko, Oksana Shkilniak, Stepan Shkilniak, Tohrul Mamedov   +3 more
doaj  

Game Semantics in Teaching of Classical First Order Predicate Logic to Stu- dents of Computer Science

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

Parallel deduction-search algorithm for the predicate logic formulas

Lietuvos Matematikos Rinkinys, 1999
There is not abstract.
Stasys Norgėla
doaj   +1 more source

Completeness for a First-order Abstract Separation Logic

, 2016
Existing work on theorem proving for the assertion language of separation logic (SL) either focuses on abstract semantics which are not readily available in most applications of program verification, or on concrete models for which completeness is not ...
AS Troelstra, D Galmiche, D Galmiche, D Larchey-Wendling, D Larchey-Wendling, D Larchey-Wendling, J Brotherston, J Brotherston, J Brotherston, JB Jensen, Peter Schroeder-Heister, PW O’Hearn, R Brochenin, R Dockins, S Brookes, S Demri, V Vafeiadis, Z Hóu   +17 more
core   +1 more source

Agile Logical Semantics for Natural Languages

Information
This paper presents an agile method of logical semantics based on high-order Predicate Logic. An operator of predicate abstraction is introduced that provides a simple mechanism for logical aggregation of predicates and for logical typing.
Vincenzo Manca
doaj   +1 more source

Fuzzy inequational logic [PDF]

, 2015
We present a logic for reasoning about graded inequalities which generalizes the ordinary inequational logic used in universal algebra. The logic deals with atomic predicate formulas of the form of inequalities between terms and formalizes their semantic
Vychodil, Vilem
core   +1 more source