Issue Title
Vol 26, No 2 (2017): June Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction Abstract  PDF
Moritz Cordes, Friedrich Reinmuth
Vol 27, No 1 (2018): March A Simulation of Natural Deduction and Gentzen Sequent Calculus Abstract  PDF
Daniil Kozhemiachenko
Vol 27, No 1 (2018): March Natural Deduction for Four-Valued both Regular and Monotonic Logics Abstract  PDF
Yaroslav Petrukhin
Vol 26, No 2 (2017): June Natural Deduction for Three-Valued Regular Logics Abstract  PDF
Yaroslav Petrukhin
Vol 27, No 3 (2018): September Does the Implication Elimination Rule Need a Minor Premise? Abstract  PDF
Nissim Francez
Vol 28, No 2 (2019): June Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis Abstract  PDF
Yaroslav Petrukhin, Vasilyi Shangin
Vol 29, No 3 (2020): September Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization Abstract  PDF
Torben Braüner
Vol 28, No 3 (2019): September Relevant Connexive Logic Abstract  PDF
Nissim Francez
Vol 30, No 3 (2021): September Normalisation for Some Quite Interesting Many-Valued Logics Abstract  PDF
Nils Kürbis, Yaroslav Petrukhin
Vol 30, No 3 (2021): September Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion Abstract  PDF
Alex Belikov
Vol 16, No 2-3 (2007) Natural deduction systems for some non-commutative logics Abstract  PDF
Norihiro Kamide, Motohiko Mouri
1 - 11 of 11 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"

Partnerzy platformy czasopism