J. Michael Dunn

38 papers B 1Journal 35Unranked 1

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Implicational Partial Galois Logics: Relational Semantics. Logica Universalis Eunsuk Yang, J. Michael Dunn
2021	J	`jnl`	Implicational Tonoid Logics: Algebraic and Relational Semantics. Logica Universalis Eunsuk Yang, J. Michael Dunn
2018	J	`jnl`	Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance Logics. Australas. J. Log. Katalin Bimbó, J. Michael Dunn, Nicholas Ferenz
2017	J	`jnl`	Introduction. FLAP Katalin Bimbó, J. Michael Dunn
2017	J	`jnl`	The Emergence of Set-theoretical Semantics for Relevance Logics around 1970. FLAP Katalin Bimbó, J. Michael Dunn
2015	—	`conf`	The Relevance of Relevance to Relevance Logic. ICLA J. Michael Dunn
2014	—	`ch.`	Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras. Johan van Benthem on Logic and Information Dynamics J. Michael Dunn
2014	J	`jnl`	Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus ${LT_\to^{t}}$ for Implicational Ticket Entailment. Logica Universalis Katalin Bimbó, J. Michael Dunn
2013	J	`jnl`	Editors' Introduction: The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing. J. Philos. Log. J. Michael Dunn, Lawrence S. Moss, Zhenghan Wang
2013	J	`jnl`	On the decidability of implicational ticket entailment. J. Symb. Log. Katalin Bimbó, J. Michael Dunn
2013	J	`jnl`	The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing CoRR J. Michael Dunn, Lawrence S. Moss, Zhenghan Wang
2012	J	`jnl`	New Consecution Calculi for R Notre Dame J. Formal Log. Katalin Bimbó, J. Michael Dunn
2012	J	`jnl`	On the Ternary Relation and Conditionality. J. Philos. Log. J. C. Beall, Ross T. Brady, J. Michael Dunn, Allen Hazen, Edwin D. Mares, Robert K. Meyer, Graham Priest, Greg Restall, David Ripley, John K. Slaney, Richard Sylvan
2010	J	`jnl`	Contradictory Information: Too Much of a Good Thing. J. Philos. Log. J. Michael Dunn
2009	J	`jnl`	Relevance Logics and Relation Algebras. Rev. Symb. Log. Katalin Bimbó, J. Michael Dunn, Roger D. Maddux
2009	J	`jnl`	Symmetric Generalized Galois Logics. Logica Universalis Katalin Bimbó, J. Michael Dunn
2005	J	`jnl`	Canonical extensions and relational completeness of some substructural logics. J. Symb. Log. J. Michael Dunn, Mai Gehrke, Alessandra Palmigiano
2005	J	`jnl`	Quantum logic as motivated by quantum computing. J. Symb. Log. J. Michael Dunn, Tobias J. Hagge, Lawrence S. Moss, Zhenghan Wang
2005	J	`jnl`	Relational Semantics for Kleene Logic and Action Logic. Notre Dame J. Formal Log. Katalin Bimbó, J. Michael Dunn
2001	J	`jnl`	The Trilattice of Constructive Truth Values. J. Log. Comput. Yaroslav Shramko, J. Michael Dunn, Tatsutoshi Takenaka
2000	J	`jnl`	Partiality and Its Dual. Stud Logica J. Michael Dunn
1998	J	`jnl`	Two Extensions of the Structurally Free Logic LC*. Log. J. IGPL Katalin Bimbó, J. Michael Dunn
1997	J	`jnl`	Combinators and Structurally Free Logic. Log. J. IGPL J. Michael Dunn, Robert K. Meyer
1995	J	`jnl`	Positive modal logic. Stud Logica J. Michael Dunn
1993	J	`jnl`	Kripke Models for Linear Logic. J. Symb. Log. Gerard Allwein, J. Michael Dunn
1992	J	`jnl`	Recent Work at the Interface of Logic, Combinatorics and Computer Science. Ann. Math. Artif. Intell. John V. Franco, J. Michael Dunn, William H. Wheeler
1990	B	`conf`	Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical Operations. JELIA J. Michael Dunn
1987	J	`jnl`	Meeting of the Association for Symbolic Logic: Indianapolis. J. Symb. Log. J. Michael Dunn, Leonard Lipshitz
1987	J	`jnl`	Relevant predication 1: The formal theory. J. Philos. Log. J. Michael Dunn
1982	J	`jnl`	A relational representation of quasi-Boolean algebras. Notre Dame J. Formal Log. J. Michael Dunn
1980	J	`jnl`	A consecutive calculus for positive relevant implication with necessity. J. Philos. Log. Nuel D. Belnap Jr., Anil Gupta, J. Michael Dunn
1980	J	`jnl`	A sieve for entailments. J. Philos. Log. J. Michael Dunn
1979	J	`jnl`	R-mingle and beneath. Extensions of the Routley-Meyer semantics for R. Notre Dame J. Formal Log. J. Michael Dunn
1975	J	`jnl`	Axiomatizing Belnap's conditional assertion. J. Philos. Log. J. Michael Dunn
1974	J	`jnl`	Completeness of relevant quantification theories. Notre Dame J. Formal Log. J. Michael Dunn, Hugues Leblanc, Robert K. Meyer
1972	J	`jnl`	A modification of Parry's analytic implication. Notre Dame J. Formal Log. J. Michael Dunn
1970	J	`jnl`	Algebraic Completeness Results for R-Mingle and Its Extensions. J. Symb. Log. J. Michael Dunn
1969	J	`jnl`	E, R, and gama. J. Symb. Log. Robert K. Meyer, J. Michael Dunn