Results 11 to 20 of about 3,500,861 (360)
On logicality and natural logic [PDF]
Natural Language Semantics, 2021 AbstractIn this paper we focus on the logicality of language, i.e. the idea that the language system contains a deductive device to exclude analytic constructions. Puzzling evidence for the logicality of language comes from acceptable contradictions and tautologies. The standard response in the literature involves assuming that the language system only
Pistoia-Reda, Salvatore +2 more
openaire +6 more sources
Intuitionistic Logic is a Connexive Logic
Studia Logica, 2023 AbstractWe show that intuitionistic logic is deductively equivalent to Connexive Heyting Logic ($$\textrm{CHL}$$ CHL ), hereby introduced as an example of a strongly connexive logic with an intuitive semantics. We use the reverse algebraisation paradigm: $$\textrm{CHL}$$ CHL is ...
davide fazio +2 more
openaire +4 more sources
On Argumentation Logic and Propositional Logic [PDF]
Studia Logica, 2017 This paper studies the relationship between Argumentation Logic (AL), a recently defined logic based on the study of argumentation in AI, and classical Propositional Logic (PL). In particular, it shows that AL and PL are logically equivalent in that they have the same entailment relation from any given classically consistent theory.
Kakas, Antonis C. +5 more
openaire +5 more sources
Power Efficient Design of Multiplexer based Compressor using Adiabatic Logic
, 2013 Demand of low power circuits design is increasing due to the large growth in portable digital equipment. In this reference adiabatic structure are used that provides a dramatic reduction in power dissipation by recycling some of the energy from output ...
Richa Singh, Anjali Sharma, Rohit Singh
semanticscholar +1 more source
Logicism in Logical Empiricism
, 2021 Logicism presents one of the cornerstones of logical empiricism. At the same time, the views defended by Carnap, Hahn, and Hempel, among others, differ significantly from Frege’s original thesis. The present chapter will focus on several accounts of logicism developed in logical empiricism between 1920 and 1940. The aim here is twofold.
openaire +3 more sources
Quantum logic as a dynamic logic [PDF]
Synthese, 2010 We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others (Among whom we may count or not E. W. Beth, depending on how we interpret some of his statements), our answer is a clear “no”.
Baltag, A., Smets, S.
openaire +5 more sources
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020 We propose a logic of directions for points (LD) over 2D Euclidean space, which formalises primary direction relations east (E), west (W), and indeterminate east/west (Iew), north (N), south (S) and indeterminate north/south (Ins). We provide a sound and complete axiomatisation of it, and prove that its satisfiability problem is NP-complete.
Heshan Du +2 more
openaire +4 more sources
Static Seeding and Clustering of LSTM Embeddings to Learn From Loosely Time-Decoupled Events
IEEE Access, 2023 Humans learn from the occurrence of events at different places and times to predict similar trajectories of events. We define loosely decoupled time (LDT) phenomena as two or more events that could occur in different places and across different timelines
Christian G. Manasseh +3 more
doaj +1 more source
Continuous first order logic and local stability [PDF]
, 2008 We develop continuous first order logic, a variant of the logic described in \cite{Chang-Keisler:ContinuousModelTheory}. We show that this logic has the same power of expression as the framework of open Hausdorff cats, and as such extends Henson's logic ...
Usvyatsov, Alexander, Yaacov, Itaï Ben
core +5 more sources
Notre Dame Journal of Formal Logic, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources