E-LIB Suche - Ergebnisse für: Coniglio, Marcelo E

1

Tableau Systems for Some Ivlev-Like (Quantified) Modal Logi..:

, In: Synthese Library; Many-valued Semantics and Modal Logics: Essays in Honour of Yuriy Vasilievich Ivlev,

Coniglio, Marcelo E. ; Cerro, Luis Fariñas del ; Peron, Newton M. - p. 111-149 , 2024

Link: https://doi.org/10.1007/..

2

Normal Proofs and Tableaux for the Font-Rius Tetravalent Mo..:

Coniglio, Marcelo E. ; Figallo, Martin
Logic and Logical Philosophy. , 2024

Link: https://doi.org/10.12775..

3

On a Four-Valued Logic of Formal Inconsistency and Formal U..:

Coniglio, Marcelo E. ; Gomez–Pereira, G. T. ; Figallo, Martín
Studia Logica. , 2024

Link: https://doi.org/10.1007/..

4

From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of ..:

Coniglio, Marcelo E. ; Rodrigues, Abilio
Studia Logica. 112 (2023) 3 - p. 561-606 , 2023

Link: https://doi.org/10.1007/..

5

Genuine paracomplete logics:

Borja Macías, Verónica ; Coniglio, Marcelo E ; Hernández-Tello, Alejandro
Logic Journal of the IGPL. , 2022

Link: https://doi.org/10.1093/..

6

From Inconsistency to Incompatibility:

Coniglio, Marcelo E. ; Toledo, Guilherme V.
Logic and Logical Philosophy. , 2022

Link: https://doi.org/10.12775..

7

Degree-Preserving Gödel Logics with an Involution: Intermed..:

, In: Outstanding Contributions to Logic; Arnon Avron on Semantics and Proof Theory of Non-Classical Logics,

Coniglio, Marcelo E. ; Esteva, Francesc ; Gispert, Joan. - p. 107-139 , 2021

Link: https://doi.org/10.1007/..

8

On the expressive power of Łukasiewicz square operator:

Coniglio, Marcelo E ; Esteva, Francesc ; Flaminio, Tommaso.
Journal of Logic and Computation. 32 (2021) 4 - p. 767-807 , 2021

Link: https://doi.org/10.1093/..

9

Two Decision Procedures for da Costa's $$C_n$$ Logics Based..:

Coniglio, Marcelo E. ; Toledo, Guilherme V.
Studia Logica. 110 (2021) 3 - p. 601-642 , 2021

Link: https://doi.org/10.1007/..

10

LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: A..:

CARNIELLI, WALTER ; CONIGLIO, MARCELO E. ; FUENMAYOR, DAVID
The Review of Symbolic Logic. 15 (2021) 3 - p. 771-806 , 2021

Link: https://doi.org/10.1017/..

11

Modal Logic With Non-Deterministic Semantics: Part II—Quant..:

Coniglio, Marcelo E ; Fariñasdelcerro, Luis ; Peron, Newton Marques
Logic Journal of the IGPL. 30 (2021) 5 - p. 695-727 , 2021

Link: https://doi.org/10.1093/..

12

First-order swap structures semantics for some logics of fo..:

Coniglio, Marcelo E ; Figallo-Orellano, Aldo ; Golzio, Ana C
Journal of Logic and Computation. 30 (2020) 6 - p. 1257-1290 , 2020

Link: https://doi.org/10.1093/..

13

Paracomplete Logics Dual to the Genuine Paraconsistent Logi..:

Hernández-Tello, Alejandro ; Macías, Verónica Borja ; Coniglio, Marcelo E.
Electronic Notes in Theoretical Computer Science. 354 (2020) - p. 61-74 , 2020

Link: https://doi.org/10.1016/..

14

Modal logic with non-deterministic semantics: Part I—Propos..:

Newton, Marques Peron ; Luis, Fariñas Del Cerro ; Coniglio, Marcelo E
Logic Journal of the IGPL. 28 (2019) 3 - p. 281-315 , 2019

Link: https://doi.org/10.1093/..

15

Recovery operators, paraconsistency and duality:

Carnielli, Walter ; Coniglio, Marcelo E ; Rodrigues, Abilio
Logic Journal of the IGPL. 28 (2019) 5 - p. 624-656 , 2019

Link: https://doi.org/10.1093/..