:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Chen, Zhicheng
Format:	Preprint
Publié:	2022
Sujets:	Logic
Accès en ligne:	https://arxiv.org/abs/2207.07306
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Modal weak Kleene logics: axiomatizations and relational semantics
par: Bonzio, Stefano, et autres
Publié: (2024)

An axiomatization of truth and paradoxicality
par: Castaldo, Luca
Publié: (2025)

A natural axiomatization of Büchi Arithmetic
par: Kovalyov, Konstantin
Publié: (2026)

Existential and positive games: a comonadic and axiomatic view
par: Abramsky, Samson, et autres
Publié: (2025)

A new introduction rule for disjunction
par: Díaz-Caro, Alejandro, et autres
Publié: (2025)

Parametric disjunctive timed networks
par: André, Étienne, et autres
Publié: (2025)

Matching logic -- a new axiomatization
par: Leuştean, Laurenţiu, et autres
Publié: (2025)

Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
par: Ye, Kangfeng, et autres
Publié: (2023)

Extending CDCL to disjunctions of parity equations
par: Beame, Paul, et autres
Publié: (2026)

Bilateral base-extension semantics
par: Barroso-Nascimento, Victor, et autres
Publié: (2025)

Denotational semantics driven simplicial homology?
par: Barbarossa, Davide
Publié: (2024)

Filling in the semantics for intuitionistic conditional logic
par: Dufty, Brendan, et autres
Publié: (2025)

A completeness theorem in proof-theoretic semantics via set-theoretic semantics
par: Takemura, Ryo
Publié: (2025)

Relational semantics for flat Heyting-Lewis Logic
par: de Groot, Jim, et autres
Publié: (2026)

First-order logic axiomatization of metric graph theory
par: Chalopin, Jérémie, et autres
Publié: (2022)

On the minimization k-valued logic functions in the class of disjunctive normal forms
par: Kabulov, Anvar, et autres
Publié: (2024)

Fundamental Propositional Logic with Strict Implication
par: Chen, Zhicheng
Publié: (2025)

An Intermediate Logic Contained in Medvedev's Logic with Disjunction Property
par: Chen, Zhicheng
Publié: (2025)

On semantics of first-order justification logic with binding modalities
par: Yavorskaya, Tatiana, et autres
Publié: (2025)

Syntax and semantics of multi-adjoint normal logic programming
par: Cornejo, M. Eugenia, et autres
Publié: (2024)

The proof theory and semantics of second-order (intuitionistic) tense logic
par: Becker, Justus, et autres
Publié: (2026)

An ecumenical view of proof-theoretic semantics
par: Nascimento, Victor, et autres
Publié: (2023)

There are (other) ways to negate in propositional team semantics
par: Yang, Fan
Publié: (2024)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
par: d'Aragona, Antonio Piccolomini
Publié: (2025)

Generalized Epstein semantics for Parry systems
par: Zamperlin, Nicolò
Publié: (2024)

Generalized quantifiers using team semantics
par: Engström, Fredrik
Publié: (2024)

The Logics of Individual Medvedev Frames
par: Chen, Zhicheng, et autres
Publié: (2024)

A note on schematic validity and completeness in Prawitz's semantics
par: d'Aragona, Antonio Piccolomini
Publié: (2025)

Satisfaction classes with approximate disjunctive correctness
par: Enayat, Ali
Publié: (2023)

Compactness in team semantics
par: Joni Puljujärvi, et autres
Publié: (2024)

Yet another cubical type theory, but via a semantic approach
par: Kapulkin, Chris, et autres
Publié: (2025)

Reducing the axioms of hypergroups, hyperfields, hypermomules and related structures. A new axiomatic basis for hypercompositional structures
par: Massouros, Christos G.
Publié: (2026)

Modular many-valued semantics for combined logics
par: Caleiro, Carlos, et autres
Publié: (2022)

An essentially algebraic glance to Kripke semantics: the S5 case
par: De Berardinis, Matteo, et autres
Publié: (2025)

Some results in non-monotonic proof-theoretic semantics
par: d'Aragona, Antonio Piccolomini
Publié: (2025)

Game semantics for lattice-based modal μ-calculus
par: Ding, Yiwen, et autres
Publié: (2023)

T-BAT semantics and its logics
par: Pawlowski, Pawel
Publié: (2025)

On Kleisli liftings and decorated trace semantics
par: Luckhardt, Daniel, et autres
Publié: (2024)

Univalence without function extensionality
par: Cavallo, Evan, et autres
Publié: (2026)

Uniform validity of atomic Split rule in monotonic proof-theoretic semantics
par: d'Aragona, Antonio Piccolomini
Publié: (2025)