Results 41 to 50 of about 506,932 (281)
Aristotelian logic and its perspectives
Pensamiento. Revista de Investigación e Información Filosófica, 2017 The legitimacy of Aristotelian logic was questioned in the twentieth century. As a result, the question of whether it should be replaced or restored remains unanswered.
Manuel Correia
doaj +1 more source
Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs [PDF]
Logical Methods in Computer Science, 2019 A cyclic proof system, called CLKID-omega, gives us another way of representing inductive definitions and efficient proof search. The 2005 paper by Brotherston showed that the provability of CLKID-omega includes the provability of LKID, first order ...
Stefano Berardi, Makoto Tatsuta
doaj +1 more source
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II) [PDF]
Logical Methods in Computer Science, 2020 There are two natural and well-studied approaches to temporal ontology and reasoning: point-based and interval-based. Usually, interval-based temporal reasoning deals with points as a particular case of duration-less intervals.
Willem Conradie +2 more
doaj +1 more source
Logical Methods in Computer Science, 2013 We consider cut-elimination in the sequent calculus for classical first-order logic. It is well known that this system, in its most general form, is neither confluent nor strongly normalizing.
Stefan Hetzl, Lutz Straßburger
doaj +1 more source
, 2018 Inquisitive modal logic InqML is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are ...
Ciardelli, Ivano, Otto, Martin
core +1 more source
Philosophia Scientiæ, 2004 Hintikka makes a distinction between two kinds of games: truthconstituting games and truth-seeking games. His well-known game-theoretical semantics for first-order classical logic and its independence-friendly extension belongs to the first class of ...
Denis Bonnay
doaj +1 more source
Comparative Study of Temperature Control in a Heat Exchanger Process [PDF]
Engineering and Technology Journal, 2012 In the present work the dynamic behavior of a plate heat exchanger (PHE) (single pass counter current consists of 24 plates) studied experimentally and theoretically to control the system.
Afraa H. Al-Tae, Safa A. Al-Naimi
doaj +1 more source
Kripke Semantics and Proof Systems for Combining Intuitionistic Logic and Classical Logic [PDF]
, 2013 International audienceWe combine intuitionistic logic and classical logic into a new, first-order logic called Polarized Intuitionistic Logic. This logic is based on a distinction between two dual polarities which we call red and green to distinguish ...
Andreoli +22 more
core +3 more sources
Spectrally Tunable 2D Material‐Based Infrared Photodetectors for Intelligent Optoelectronics
Advanced Functional Materials, EarlyView.Intelligent optoelectronics through spectral engineering of 2D material‐based infrared photodetectors. Abstract The evolution of intelligent optoelectronic systems is driven by artificial intelligence (AI). However, their practical realization hinges on the ability to dynamically capture and process optical signals across a broad infrared (IR) spectrum.
Junheon Ha +18 more
wiley +1 more source
A Syntactic Proof of the Decidability of First-Order Monadic Logic
Bulletin of the Section of LogicDecidability of monadic first-order classical logic was established by Löwenheim in 1915. The proof made use of a semantic argument and a purely syntactic proof has never been provided.
Eugenio Orlandelli, Matteo Tesi
doaj +1 more source