Search
| Issue | Title | |
| Vol 26, No 4 (2017): December | Tautology Elimination, Cut Elimination, and S5 | Abstract PDF |
| Andrzej Indrzejczak | ||
| Vol 25, No 2 (2016): June | Partial and paraconsistent three-valued logics | Abstract PDF |
| Vincent Degauquier | ||
| Vol 28, No 1 (2019): March | Fregean Description Theory in Proof-Theoretical Setting | Abstract PDF |
| Andrzej Indrzejczak | ||
| Vol 28, No 2 (2019): June | An Epistemic Interpretation of Paraconsistent Weak Kleene Logic | Abstract PDF |
| Damian E. Szmuc | ||
| Online First | Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality | Abstract PDF |
| Norihiro Kamide | ||
| Vol 23, No 3 (2014): September | On the proof-theory of a first-order extension of GL | Abstract PDF |
| Yehuda Schwartz, George Tourlakis | ||
| Vol 23, No 3 (2014): September | Proof theory of epistemic logic of programs | Abstract PDF |
| Paolo Maffezioli, Alberto Naibo | ||
| Vol 18, No 2 (2009) | Temporal non-commutative logic: Expressing time, resource, order and hierarchy | Abstract PDF |
| Norihiro Kamide | ||
| Vol 19, No 1-2 (2010) | Symmetric and dual paraconsistent logics | Abstract PDF |
| Norihiro Kamide, Heinrich Wansing | ||
| 1 - 9 of 9 Items | ||
Search tips:
- Search terms are case-insensitive
- Common words are ignored
- By default only articles containing all terms in the query are returned (i.e., AND is implied)
- Combine multiple words with OR to find articles containing either term; e.g., education OR research
- Use parentheses to create more complex queries; e.g., archive ((journal OR conference) NOT theses)
- Search for an exact phrase by putting it in quotes; e.g., "open access publishing"
- Exclude a word by prefixing it with - or NOT; e.g. online -politics or online NOT politics
- Use * in a term as a wildcard to match any sequence of characters; e.g., soci* morality would match documents containing "sociological" or "societal"