Results 11 to 20 of about 3,261,962 (390)
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
Architected Lattices with a Topological Transition
Advanced Engineering Materials, EarlyView., 2023 This article develops topological metamaterials showing multidirectional two‐step deformation under compression by embedding contact‐enabled topological mechanisms into lattice structures. Experiments on 3D‐printed 2D and 3D lattices and finite element simulations are conducted to demonstrate the working principle of the topological metamaterials.
Shivam Agarwal, Lihua Jin
wiley +1 more source
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
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
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”.
Alexandru Baltag, Sonja Smets
openaire +4 more sources
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
Archive for Mathematical Logic, 2022 AbstractLindström’s Theorem characterizes first order logic as the maximal logic satisfying the Compactness Theorem and the Downward Löwenheim-Skolem Theorem. If we do not assume that logics are closed under negation, there is an obvious extension of first order logic with the two model theoretic properties mentioned, namely existential second order ...
Saharon Shelah, Jouko Väänänen
openaire +4 more sources
On the Solvability of Inductive Problems: A Study in Epistemic Topology [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 We investigate the issues of inductive problem-solving and learning by doxastic agents. We provide topological characterizations of solvability and learnability, and we use them to prove that AGM-style belief revision is "universal", i.e., that every ...
Alexandru Baltag +2 more
doaj +1 more source
arXiv, 2023 Logic really is just algebra, given one uses the right kind of algebra, and the right kind of logic. The right kind of algebra is abstraction algebra, and the right kind of logic is abstraction logic.
arxiv