Results 11 to 20 of about 47,777 (170)
Inducing syntactic cut-elimination for indexed nested sequents [PDF]
Logical Methods in Computer Science, 2018 The key to the proof-theoretic study of a logic is a proof calculus with a subformula property. Many different proof formalisms have been introduced (e.g. sequent, nested sequent, labelled sequent formalisms) in order to provide such calculi for the many
Revantha Ramanayake
doaj +3 more sources
Topologies for intermediate logics [PDF]
Mathematical Logic Quarterly, 2012 We investigate the problem of characterizing the classes of Grothendieck toposes whose internal logic satisfies a given assertion in the theory of Heyting algebras, and introduce natural analogues of the double negation and De Morgan topologies on an ...
Caramello, Olivia
core +4 more sources
Integrated multi-omic atlas reveals the hierarchy of spatiotemporal regulatory networks of mouse gastrulation [PDF]
Nature CommunicationsSpatiotemporal coordination of cellular and molecular events is crucial for cell fate commitment during mouse gastrulation. However, the high-precision mechanisms governing the timing and spatial dynamics remain poorly understood. Here, we present a time-
Xianfa Yang +14 more
doaj +2 more sources
Characteristic formulas over intermediate logics [PDF]
, 2012 We expand the notion of characteristic formula to infinite finitely presentable subdirectly irreducible algebras. We prove that there is a continuum of varieties of Heyting algebras containing infinite finitely presentable subdirectly irreducible ...
Citkin, Alex
core +3 more sources
EPSILON THEOREMS IN INTERMEDIATE LOGICS [PDF]
The Journal of Symbolic Logic, 2022 AbstractAny intermediate propositional logic (i.e., a logic including intuitionistic logic and contained in classical logic) can be extended to a calculus with epsilon- and tau-operators and critical formulas. For classical logic, this results in Hilbert’s $\varepsilon $ -calculus.
MATTHIAS BAAZ, RICHARD ZACH
openaire +2 more sources
A Note on Gödel-Dummet Logic LC
Bulletin of the Section of Logic, 2021 Let Ao, A1, . . . , An be (possibly) distintict wffs, being an odd number equal to or greater than 1. Intuitionistic Propositional Logic IPC plus the axiom (Ao → A1)V . . .V(An-1 → An)V(An → Ao) is equivalent to Gödel-Dummett logic LC.
Gemma Robles, José M. Méndez
doaj +1 more source
Cut-Free Gentzen Sequent Calculi for Tense Logics
Axioms, 2023 The cut-free single-succedent Gentzen sequent calculus GKt for the minimal tense logic Kt is introduced. This sequent calculus satisfies the displaying property.
Zhe Lin, Minghui Ma
doaj +1 more source
UNIFICATION IN INTERMEDIATE LOGICS [PDF]
The Journal of Symbolic Logic, 2015 AbstractThis paper contains a proof–theoretic account of unification in intermediate logics. It is shown that many existing results can be extended to fragments that at least contain implication and conjunction. For such fragments, the connection between valuations and most general unifiers is clarified, and it is shown how from the closure of a ...
Iemhoff, R., Roziere, P.
openaire +3 more sources
L’aménagement urbain public en Amérique du Nord. Traductions locales d’un concept théorique
Cybergeo, 2021 In the United States and in Canada, the urban development initiated by public actors often takes the form of projects of intermediate scale and length. Some of these developments reflect the local practice of a public urban development influenced by the ...
Alexandre Murer, Julien Despax
doaj +1 more source
Deterministic Temporal Logics and Interval Constraints [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 In temporal logics, a central question is about the choice of modalities and their relative expressive power, in comparison to the complexity of decision problems such as satisfiability.
Kamal Lodaya, Paritosh K. Pandya
doaj +1 more source