Results 11 to 20 of about 1,020,940 (299)
Informal Logic referees 2011-2012
Informal Logic, 2013 The Editors express their gratitude and appreciation to the indi-viduals listed below who served as referees for Informal Logic for Volumes 31 (2011) and 32 (2012).
Informal Logic Editors
doaj +4 more sources
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 +5 more sources
CoRR, 2022 We develop a classical propositional logic for reasoning about combinatory logic. We define its syntax, axiomatic system and semantics. The syntax and axiomatic system are presented based on classical propositional logic, with typed combinatory terms as basic propositions, along with the semantics based on applicative structures extended with special ...
Simona Kasterovic, Silvia Ghilezan
openaire +3 more sources
Amortised resource analysis with separation logic [PDF]
, 2011 Type-based amortised resource analysis following Hofmann and Jost—where resources are associated with individual elements of data structures and doled out to the programmer under a linear typing discipline—have been successful in providing concrete ...
Atkey, Robert
core +3 more sources
The Logic of Logic Programming
CoRR, 2023 Our position is that logic programming is not programming in the Horn clause sublogic of classical logic, but programming in a logic of (inductive) definitions. Thus, the similarity between prototypical Prolog programs (e.g., member, append, ...) and how inductive definitions are expressed in mathematical text, is not coincidental but essential.
Marc Denecker, David Scott Warren
openaire +3 more sources
Quantum logic as a dynamic logic [PDF]
Synthese, 2010 The authors argue that quantum mechanics does not require abandoning the principles of classical logic. Their argument is based on combining a formal semantic approach understood as an investigation of ``the logic of yes-no experiments'', following their papers [Int. J. Theor. Phys. 44, No. 12, 2267--2282 (2005; Zbl 1110.81013); Stud. Log. 89, No.
Alexandru Baltag, Sonja Smets
openaire +4 more sources
A post-style proof of completeness theorem for symmetric relatedness Logic S [PDF]
, 2018 One of the logic defined by Richard Epstein in a context of an analysis of subject matter relationship is Symmetric Relatedness Logic S. In the monograph [2] we can find some open problems concerning relatedness logic, a Post-style completeness theorem ...
Klonowski, Mateusz
core +2 more sources
Exploiting parallelism in coalgebraic logic programming [PDF]
, 2014 We present a parallel implementation of Coalgebraic Logic Programming (CoALP) in the programming language Go. CoALP was initially introduced to reflect coalgebraic semantics of logic programming, with coalgebraic derivation algorithm featuring both ...
Schmidt, Martin +7 more
core +1 more source
The Dynamic Epistemic Logic for Actual Knowledge [PDF]
, 2020 The dynamic epistemic logic for actual knowledge models the phenomenon of actual knowledge change when new information is received. In contrast to the systems of dynamic epistemic logic which have been discussed in the past literature, our system is not ...
Wójcik, Arkadiusz
core +2 more sources
Logicism, Neo-Logicism, and the Logics of Abstraction [PDF]
Russell: The Journal of Bertrand Russell Studies, 2023 Abstraction principles play a pivotal role in the foundations of mathematics. In the foundational programs in which they have been traditionally adopted, i.e. Frege’s logicism and Scottish neo-logicism, abstraction principles, conceived as definitions, augment a system of full higher-order logic.
Boccuni, Francesca, Sereni, Andrea
openaire +3 more sources