Results 21 to 30 of about 7,429,852 (332)
Model Theory and Proof Theory of Coalgebraic Predicate Logic [PDF]
Logical Methods in Computer Science, 2018 We propose a generalization of first-order logic originating in a neglected work by C.C. Chang: a natural and generic correspondence language for any types of structures which can be recast as Set-coalgebras.
Tadeusz Litak +3 more
doaj +1 more source
CLEI Electronic Journal, 2023 This work presents an interactive proof assistant, based on Dijkstra-Scholten logic, aimed at teaching logic and discrete mathematics in higher education.
Federico Flaviani, Walter Carballosa
doaj +1 more source
Algebraic Proof Theory for LE-logics [PDF]
ACM Transactions on Computational Logic, 2018 In this article, we extend the research programme in algebraic proof theory from axiomatic extensions of the full Lambek calculus to logics algebraically captured by certain varieties of normal lattice expansions (normal LE-logics).
G. Greco +4 more
semanticscholar +1 more source
Categorical Proof Theory of Co-Intuitionistic Linear Logic [PDF]
Logical Methods in Computer Science, 2014 To provide a categorical semantics for co-intuitionistic logic one has to face the fact, noted by Tristan Crolard, that the definition of co-exponents as adjuncts of coproducts does not work in the category Set, where coproducts are disjoint unions ...
Gianluigi Bellin
doaj +1 more source
EXPERIMENTAL PROOF OF THE MOSQUITO-MALARIA THEORY. [PDF]
Lancet, The, 1900 Patrick Manson
exaly +3 more sources
Aksioma: Jurnal Program Studi Pendidikan Matematika, 2022 Proof-based learning is learning mathematics through proof and proving to strengthen students' concepts. The use of APOS theory (Action, Process, Object, and Schema) aims to describe students' mental structures summarized in Hypothetical Learning ...
Leonardo Jonathan Shinariko +2 more
doaj +1 more source
On linear rewriting systems for Boolean logic and some applications to proof theory [PDF]
Log. Methods Comput. Sci., 2016 Linear rules have played an increasing role in structural proof theory in recent years. It has been observed that the set of all sound linear inference rules in Boolean logic is already coNP-complete, i.e. that every Boolean tautology can be written as a
Anupam Das, L. Straßburger
semanticscholar +1 more source
The RedPRL Proof Assistant (Invited Paper) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 RedPRL is an experimental proof assistant based on Cartesian cubical computational type theory, a new type theory for higher-dimensional constructions inspired by homotopy type theory.
Carlo Angiuli +4 more
doaj +1 more source
From proof theory to theories theory
CoRR, 2023 In the last decades, several objects such as grammars, economical agents, laws of physics... have been defined as algorithms. In particular, after Brouwer, Heyting, and Kolomogorov, mathematical proofs have been defined as algorithms. In this paper, we show that mathematical theories can be also be defined as algorithms and that this definition has ...
openaire +2 more sources
, 2021 This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view.
Stefania Centrone +14 more
core +1 more source