Image de couverture de livre

Tropicalization through the lens of Łukasiewicz logic, with a topos theoretic perspective

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Di Nola, Antonio, Lenzi, Giacomo, Gerla, Brunella
Format:	Preprint
Publié:	2024
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Rational Lukasiewicz logic and DMV-algebras
par: Gerla, Brunella
Publié: (2012)

Satisfiability in Łukasiewicz logic and its unbounded relative
par: Haniková, Zuzana, et autres
Publié: (2025)

Strong standard completeness theorems for S5-modal Lukasiewicz logics
par: Castaño, Diego, et autres
Publié: (2024)

Bi-intuitionistic logics through the abstract algebraic logic lens
par: Deakin, Jonte, et autres
Publié: (2025)

A Basic Łukasiewicz m-valued conditional logic
par: Huo, Shuquan
Publié: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
par: Bonanno, Giacomo
Publié: (2026)

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

Complexity of Abduction in Łukasiewicz Logic
par: Inoue, Katsumi, et autres
Publié: (2025)

Graph classes through the lens of logic
par: Pilipczuk, Michał
Publié: (2025)

Approximate Completeness of Hypersequent Calculus for First-Order Łukasiewicz Logic
par: Wei, Jin
Publié: (2024)

The unification type of Lukasiewicz logic with a bounded number of variables
par: Abbadini, Marco, et autres
Publié: (2025)

Łukasiewicz Logic with Actions for Neural Networks training
par: Leuştean, Ioana, et autres
Publié: (2025)

Complexity of Łukasiewicz Modal Probabilistic Logics
par: Kozhemiachenko, Daniil, et autres
Publié: (2025)

A logical perspective on intending to keep a true secret
par: Aldini, Alessandro, et autres
Publié: (2024)

Linear-time logics -- a coalgebraic perspective
par: Cirstea, Corina
Publié: (2016)

Fibred sets within a predicative and constructive effective topos
par: Cioffo, Cipriano Junior, et autres
Publié: (2024)

The calculus of names -- The legacy of Jan Łukasiewicz
par: Pietruszczak, Andrzej
Publié: (2023)

Various topos of types constructions
par: Kanalas, Kristóf
Publié: (2025)

Operators in the mind: Jan Lukasiewicz and Polish notation
par: Mizraji, Eduardo
Publié: (2025)

On the expressive power of inquisitive team logic and inquisitive first-order logic
par: Kontinen, Juha, et autres
Publié: (2026)

Quantum modal logic
par: Tokuo, Kenji
Publié: (2025)

A proof-theoretic approach to uniform interpolation property of multi-agent modal logic
par: Su, Youan
Publié: (2025)

Intuitionistic modal logics: a minimal setting
par: Balbiani, Philippe, et autres
Publié: (2025)

Tableau methodology for propositional logics
par: Jarmuzek, T., et autres
Publié: (2025)

Sundholm's explanation of meaning: logical atavism and the nature of proofs
par: d'Aragona, Antonio Piccolomini
Publié: (2025)

A modal logic translation of the AGM axioms for belief revision
par: Bonanno, Giacomo
Publié: (2025)

Intuitionistic logic, dual intuitionistic logic, and modality
par: Aryal, Safal Raman
Publié: (2024)

Extended multi-adjoint logic programming
par: Cornejo, M. Eugenia, et autres
Publié: (2024)

A logic for default deontic reasoning
par: Piazza, Mario, et autres
Publié: (2025)

Modal definability in Euclidean modal logics
par: Balbiani, Philippe, et autres
Publié: (2025)

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

Modelling of logical systems by means of their fragments
par: Rybakov, Mikhail
Publié: (2025)

Superabelian logics
par: Cintula, Petr, et autres
Publié: (2024)

Further remarks on the dual negation in team logics
par: Anttila, Aleksi
Publié: (2024)

Intuitionistic monotone modal logic via translation
par: de Groot, Jim
Publié: (2025)

Game-theoretic variants of cardinal invariants
par: Chapital, Jorge Antonio Cruz, et autres
Publié: (2023)

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

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

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

Intrinsic and relative characterization results for logics with negative modalities
par: de Groot, Jim, et autres
Publié: (2025)