Refutation calculi for certain intermediate propositional logicsSKURA, T.Notre Dame journal of formal logic. 1992, Vol 33, Num 4, pp 552-560, issn 0029-4527Article

Arithmetical interpretations of dynamic logicHAJEK, P.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 704-713, issn 0022-4812Article

The extensions of the modal logic K5NAGLE, M. C; THOMASON, S. K.The Journal of symbolic logic. 1985, Vol 50, Num 1, pp 102-109, issn 0022-4812Article

An introduction to probabilistic L-valued logicCZOGAŁA, E.Fuzzy sets and systems. 1984, Vol 13, Num 2, pp 179-185, issn 0165-0114Article

Some remarks on equivalence in infinitary and stationary logicKAUFMANN, M.Notre Dame journal of formal logic. 1984, Vol 25, Num 4, pp 383-389, issn 0029-4527Article

Essai sur la généralisation naturelle de la logique usuelleDUBARLE, S.Mathématiques et sciences humaines. 1989, Num 107, pp 17-73, issn 0025-5815Article

First-order theories as many-sorted algebrasMANCA, V; SALIBRA, A.Notre Dame journal of formal logic. 1984, Vol 25, Num 1, pp 86-94, issn 0029-4527Article

Separating minimal, intuitionist, and classical logicMEREDITH, D.Notre Dame journal of formal logic. 1983, Vol 24, Num 4, pp 485-490, issn 0029-4527Article

On a certain formalization of antonyms logicGOLOTA, Y. Y.Fuzzy sets and systems. 1992, Vol 45, Num 3, pp 335-340, issn 0165-0114Article

Is the interesting part of process logic uninteresting?: a translation from PL to PDLSHERMAN, R; PNUELI, A; HAREL, D et al.SIAM journal on computing (Print). 1984, Vol 13, Num 4, pp 825-839, issn 0097-5397Article

Classical logic, intuitionistic logic, and the Peirce ruleAFRICK, H.Notre Dame journal of formal logic. 1992, Vol 33, Num 2, pp 229-235, issn 0029-4527Article

Meinong's contribution to the development of non-classical logicSIMONS, P. M.Conceptus. 1994, Vol 28, Num 71, pp 187-202, issn 0010-5155Article

Intuitionistic fuzzy logic and intuitionistic fuzzy set theoryTAKEUTI, G; TITANI, S.The Journal of symbolic logic. 1984, Vol 49, Num 3, pp 851-866, issn 0022-4812Article

A note on the interpolation property in tense logicWOLTER, F.Journal of philosophical logic. 1997, Vol 26, Num 5, pp 545-551, issn 0022-3611Article

A Complete Deductive-System for Since-Until Branching-Time LogicZANARDO, A.Journal of philosophical logic. 1991, Vol 20, Num 2, pp 131-148, issn 0022-3611Article

Conjunctive normal forms and weak modal logics without the axiom of necessityOHAMA, S.Notre Dame journal of formal logic. 1984, Vol 25, Num 2, pp 141-151, issn 0029-4527Article

Validity in intensional languages: a new approachHANSON, W. H; HAWTHORNE, J.Notre Dame journal of formal logic. 1985, Vol 26, Num 1, pp 9-35, issn 0029-4527Article

Bases des règles admissibles du système modal Grz et de la logique intuitionnisteRYBAKOV, V. V.Matematičeskij sbornik (Moskva). 1985, Vol 128, Num 3, pp 321-338, issn 0368-8666Article

An axiomatization of the equivalential fragment of the three-valued logic of ŁukasiewiczKABZINSKI, J. K.Notre Dame journal of formal logic. 1984, Vol 25, Num 4, pp 354-356, issn 0029-4527Article

The necessity of the past and modal-tense logic incompletenessWHITE, M. J.Notre Dame journal of formal logic. 1984, Vol 25, Num 1, pp 59-71, issn 0029-4527Article

Per un possibile confronto fra logica Fuzzy e teorie del-l'argomentazionePUPPO, Federico.Rivista internazionale di filosofia del diritto. 2006, Vol 83, Num 2, pp 221-271, issn 0035-6727, 51 p.Article

Modal logics with the Macintosh ruleCHELLAS, B. F; SEGERBERG, K.Journal of philosophical logic. 1994, Vol 23, Num 1, pp 67-86, issn 0022-3611Article

The logic of free acts and the powers of godFORREST, P.Notre Dame journal of formal logic. 1986, Vol 27, Num 1, pp 20-38, issn 0029-4527Article

An incomplete decidable modal logicCRESSWELL, M. J.The Journal of symbolic logic. 1984, Vol 49, Num 2, pp 520-527, issn 0022-4812Article

On the period of sequences (Aⁿ(p)) in intuitionistic propositional calculusRUITENBURG, W.The Journal of symbolic logic. 1984, Vol 49, Num 3, pp 892-899, issn 0022-4812Article