An observer-based approach to the sorites paradox and the logic derived from that
Fuente:
arXiv
Saved in:
| Main Author: | Tzouvaras, Athanassios |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
The magmatic universe revisited: we define ordered pairs, relations, numbers and a special form of Separation
by: Tzouvaras, Athanassios
Published: (2026)
by: Tzouvaras, Athanassios
Published: (2026)
Sets with dependent elements: A formalization of Castoriadis' notion of magma
by: Tzouvaras, Athanassios
Published: (2023)
by: Tzouvaras, Athanassios
Published: (2023)
From real analysis to the sorites paradox via Reverse Mathematics
by: Dean, Walter, et al.
Published: (2025)
by: Dean, Walter, et al.
Published: (2025)
Refutation calculi for lattice-based logics: from display to tableaux
by: De Domenico, Andrea, et al.
Published: (2026)
by: De Domenico, Andrea, et al.
Published: (2026)
(Non-)well-founded derivations in the provability logic $\mathsf{GLP}$
by: Shamkanov, Daniyar
Published: (2025)
by: Shamkanov, Daniyar
Published: (2025)
A temporal logic of epistemic and normative justifications, with an application to the Protagoras paradox
by: Ghari, Meghdad
Published: (2021)
by: Ghari, Meghdad
Published: (2021)
On structural proof theory of the modal logic K+ extended with infinitary derivations
by: Shamkanov, Daniyar
Published: (2023)
by: Shamkanov, Daniyar
Published: (2023)
A logical approach to concentration
by: Benedikt, Michael, et al.
Published: (2026)
by: Benedikt, Michael, et al.
Published: (2026)
On the expressive power of inquisitive team logic and inquisitive first-order logic
by: Kontinen, Juha, et al.
Published: (2026)
by: Kontinen, Juha, et al.
Published: (2026)
Quantum modal logic
by: Tokuo, Kenji
Published: (2025)
by: Tokuo, Kenji
Published: (2025)
An axiomatization of truth and paradoxicality
by: Castaldo, Luca
Published: (2025)
by: Castaldo, Luca
Published: (2025)
A categorical formulation of Kraus' paradox
by: Swan, Andrew W.
Published: (2024)
by: Swan, Andrew W.
Published: (2024)
Tableau methodology for propositional logics
by: Jarmuzek, T., et al.
Published: (2025)
by: Jarmuzek, T., et al.
Published: (2025)
Labelled calculi for lattice-based modal logics
by: van der Berg, Ineke, et al.
Published: (2024)
by: van der Berg, Ineke, et al.
Published: (2024)
On the horizontal compression of dag-derivations in minimal purely implicational logic
by: Haeusler, Edward Hermann, et al.
Published: (2022)
by: Haeusler, Edward Hermann, et al.
Published: (2022)
Intuitionistic logic, dual intuitionistic logic, and modality
by: Aryal, Safal Raman
Published: (2024)
by: Aryal, Safal Raman
Published: (2024)
The logic of KM belief update is contained in the logic of AGM belief revision
by: Bonanno, Giacomo
Published: (2026)
by: Bonanno, Giacomo
Published: (2026)
A logic for default deontic reasoning
by: Piazza, Mario, et al.
Published: (2025)
by: Piazza, Mario, et al.
Published: (2025)
Modal definability in Euclidean modal logics
by: Balbiani, Philippe, et al.
Published: (2025)
by: Balbiani, Philippe, et al.
Published: (2025)
Filling in the semantics for intuitionistic conditional logic
by: Dufty, Brendan, et al.
Published: (2025)
by: Dufty, Brendan, et al.
Published: (2025)
Modelling of logical systems by means of their fragments
by: Rybakov, Mikhail
Published: (2025)
by: Rybakov, Mikhail
Published: (2025)
Extended multi-adjoint logic programming
by: Cornejo, M. Eugenia, et al.
Published: (2024)
by: Cornejo, M. Eugenia, et al.
Published: (2024)
A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
by: d'Aragona, Antonio Piccolomini
Published: (2025)
by: d'Aragona, Antonio Piccolomini
Published: (2025)
On Many-logic modal structures and information-based logics
by: Martins, Manuel, et al.
Published: (2026)
by: Martins, Manuel, et al.
Published: (2026)
Superabelian logics
by: Cintula, Petr, et al.
Published: (2024)
by: Cintula, Petr, et al.
Published: (2024)
Further remarks on the dual negation in team logics
by: Anttila, Aleksi
Published: (2024)
by: Anttila, Aleksi
Published: (2024)
Intuitionistic monotone modal logic via translation
by: de Groot, Jim
Published: (2025)
by: de Groot, Jim
Published: (2025)
Intuitionistic modal logics: a minimal setting
by: Balbiani, Philippe, et al.
Published: (2025)
by: Balbiani, Philippe, et al.
Published: (2025)
Bi-intuitionistic logics through the abstract algebraic logic lens
by: Deakin, Jonte, et al.
Published: (2025)
by: Deakin, Jonte, et al.
Published: (2025)
On semantics of first-order justification logic with binding modalities
by: Yavorskaya, Tatiana, et al.
Published: (2025)
by: Yavorskaya, Tatiana, et al.
Published: (2025)
Intrinsic and relative characterization results for logics with negative modalities
by: de Groot, Jim, et al.
Published: (2025)
by: de Groot, Jim, et al.
Published: (2025)
Syntax and semantics of multi-adjoint normal logic programming
by: Cornejo, M. Eugenia, et al.
Published: (2024)
by: Cornejo, M. Eugenia, et al.
Published: (2024)
Two-layered logics for probabilities and belief functions over Belnap--Dunn logic
by: Bilkova, Marta, et al.
Published: (2024)
by: Bilkova, Marta, et al.
Published: (2024)
The flattening operator in team-based logics
by: Durand, Arnaud, et al.
Published: (2025)
by: Durand, Arnaud, et al.
Published: (2025)
The proof theory and semantics of second-order (intuitionistic) tense logic
by: Becker, Justus, et al.
Published: (2026)
by: Becker, Justus, et al.
Published: (2026)
Complexity of the Model Checking problem for inquisitive propositional and modal logic
by: Grilletti, Gianluca, et al.
Published: (2024)
by: Grilletti, Gianluca, et al.
Published: (2024)
A logic of judgmental existence and its relation to proof irrelevance
by: Pezlar, Ivo
Published: (2024)
by: Pezlar, Ivo
Published: (2024)
Obligations and permissions on selfextensional logics
by: De Domenico, Andrea, et al.
Published: (2024)
by: De Domenico, Andrea, et al.
Published: (2024)
A discrete-time temporal deontic STIT logic based on interpreted systems
by: Rong, Shuge, et al.
Published: (2025)
by: Rong, Shuge, et al.
Published: (2025)
More on modal logics and deduction
by: Gyenis, Zalán, et al.
Published: (2026)
by: Gyenis, Zalán, et al.
Published: (2026)
Similar Items
-
The magmatic universe revisited: we define ordered pairs, relations, numbers and a special form of Separation
by: Tzouvaras, Athanassios
Published: (2026) -
Sets with dependent elements: A formalization of Castoriadis' notion of magma
by: Tzouvaras, Athanassios
Published: (2023) -
From real analysis to the sorites paradox via Reverse Mathematics
by: Dean, Walter, et al.
Published: (2025) -
Refutation calculi for lattice-based logics: from display to tableaux
by: De Domenico, Andrea, et al.
Published: (2026) -
(Non-)well-founded derivations in the provability logic $\mathsf{GLP}$
by: Shamkanov, Daniyar
Published: (2025)