Works matching IS 00393215 AND DT 2025 AND VI 113 AND IP 2

Results: 12

Contemporary Logic in Brazil – Proceedings of the XX Encontro Brasileiro de Lógica.

Published in:

Studia Logica, 2025, v. 113, n. 2, p. 269, doi. 10.1007/s11225-024-10157-7

By:

Haeusler, Edward Hermann;
Russo, Ciro;
Secco, Gisele

Publication type:

Article

Translations and Prawitz's Ecumenical System.

Published in:

Studia Logica, 2025, v. 113, n. 2, p. 523, doi. 10.1007/s11225-024-10105-5

By:

Pereira, Luiz Carlos;
Pimentel, Elaine;
de Paiva, Valeria

Publication type:

Article

On a First-Order Bi-Sorted Semantically Closed Language.

Published in:

Studia Logica, 2025, v. 113, n. 2, p. 489, doi. 10.1007/s11225-024-10104-6

By:

Abrahão, Fernanda Birolli;
de Souza, Edelcio Gonçalves

Publication type:

Article

Valuation Semantics for S4.

Published in:

Studia Logica, 2025, v. 113, n. 2, p. 379, doi. 10.1007/s11225-024-10100-w

By:

Loparić, Andréa M.;
Mortari, Cezar A.

Publication type:

Article

Euclid Machines.

Published in:

Studia Logica, 2025, v. 113, n. 2, p. 567, doi. 10.1007/s11225-024-10151-z

By:

Sanz, Wagner;
Viana, Petrucio

Publication type:

Article

Where the Truth Lies: A Paraconsistent Approach to Bayesian Epistemology.

Published in:

Studia Logica, 2025, v. 113, n. 2, p. 397, doi. 10.1007/s11225-024-10144-y

By:

Carnielli, Walter;
Bueno-Soler, Juliana

Publication type:

Article

Variable Domain First-Order First-Degree Entailment and Some of Its Children.

Published in:

Studia Logica, 2025, v. 113, n. 2, p. 457, doi. 10.1007/s11225-024-10143-z

By:

Antunes, Henrique;
Rodrigues, Abilio

Publication type:

Article

Quantale Valued Sets: Categorical Constructions and Properties.

Published in:

Studia Logica, 2025, v. 113, n. 2, p. 325, doi. 10.1007/s11225-024-10138-w

By:

Alvim, José G.;
Mariano, Hugo L.;
Mendes, Caio de A.

Publication type:

Article

More Limits of Abductivism About Logic.

Published in:

Studia Logica, 2025, v. 113, n. 2, p. 503, doi. 10.1007/s11225-024-10130-4

By:

Erickson, Evelyn

Publication type:

Article

Combining Swap Structures: The Case of Paradefinite Ivlev-Like Modal Logics Based on FDE.

Published in:

Studia Logica, 2025, v. 113, n. 2, p. 273, doi. 10.1007/s11225-024-10121-5

By:

Coniglio, Marcelo E.

Publication type:

Article

Ecumenical Propositional Tableau.

Published in:

Studia Logica, 2025, v. 113, n. 2, p. 539, doi. 10.1007/s11225-023-10091-0

By:

Leme, Renato;
Coniglio, Marcelo;
Lopes, Bruno;
Venturi, Giorgio

Publication type:

Article

Proof-Theoretic Aspects of Paraconsistency with Strong Consistency Operator.

Published in:

Studia Logica, 2025, v. 113, n. 2, p. 419, doi. 10.1007/s11225-023-10089-8

By:

Arce Pistone, Victoria;
Figallo, Martín

Publication type:

Article