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 | ||
| Vol 28, No 3 (2019): September | Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality | Abstract PDF |
| Norihiro Kamide | ||
| 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 | ||
| 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 | ||
| 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"
Financed by MNiSW on the basis of agreement no. 706/P-DUN/2018 (dated 10/05/18). Project 1: “Preparation of articles in English for eight editions of the journal Logic and Logical Philosophy over the period 2018–19; Vol. 27, No. 1–4 (2018), Vol. 28, No. 1–4 (2019)”; amount from the DUN grant: 64800 zł. Project 4: “Digitalisation of eight editions of the journal Logic and Logical Philosophy over the period 2018-19; Vol. 27, No. 1–4 (2018), Vol. 28, No. 1–4 (2019)”; amount from the DUN grant: 18600 zł.
ISSN: 1425-3305 (print version)
ISSN: 2300-9802 (electronic version)