Found 10 Documents (Results 1–10)
Gödel’s natural deduction. (English) Zbl 1417.03008
Equivalences among polarity algorithms. (English) Zbl 1437.03112
MSC:
03B65
Interpolation in 16-valued trilattice logics. (English) Zbl 1437.03100
Reviewer: Albert Hoogewijs (Gent)
Propositional epistemic logics with quantification over agents of knowledge. (English) Zbl 1437.03074
MSC:
03B42
Deduction and reduction theorems for inferential erotetic logic. (English) Zbl 1437.03114
MSC:
03B65
Filter Results by …
all
top 5
Author
- Adžić, Miloš (1)
- Bárcenas-Patiño, Ismael-Everardo (1)
- Cornejo, Juan Manuel (1)
- de Jesús Lavalle Martínez, José (1)
- Dimonte, Vincenzo (1)
- Došen, Kosta (1)
- Jiménez-Salazar, Héctor (1)
- Kakas, Antonis C. (1)
- Kurahashi, Taishi (1)
- Ledda, Antonio (1)
- Mancarella, Paolo (1)
- Montes-y-Gómez, Manuel (1)
- Muskens, Reinhard A. (1)
- Shtakser, Gennady (1)
- Toni, Francesca (1)
- Viglizzo, Ignacio Darío (1)
- Villaseñor-Pineda, Luis (1)
- Wintein, Stefan (1)
- Wiśniewski, Andrzej (1)