 | Volume :
EQB: Synthesizing Permutative Quantum Gates and Circuits Using Rotation-Based Group Decomposition
Ishani Agarwal, Miroslav Saraivanov, Ali Al-Bayaty and Marek Perkowski
View Details  |
|
 | Volume :
Weak pseudo EMV-algebras. II: Representation and subvarieties
Anatoij Dvurecenskij and Omid Zahiri
View Details |
|
 | Volume :
Weak pseudo EMV-algebras. I: Basic properties
Anatolij Dvurecenskij and Omid Zahiri
View Details |
|
 | Volume :
Squeezing Arguments and the Plurality of Informal Notions
Edson Bezerra and Giorgio Venturi
View Details |
|
 | Volume :
Groups of Worldview Transformations Implied by Isotropy of Spac
Judit X. Madarasz, Mike Stanett and Gergely Szekely
View Details |
|
 | Volume :
Proving Cleanthes Wrong
Laureano Luna Cabañero
October 2020
View Details |
|
 | Volume :
What is Negation in a System 2020
Dov Gabbay
View Details |
|
 | Volume :
Unification type of fusions
Philippe Balbian, Cigdem Gencer and Maryam Rostamigiv
View Details |
|
 | Volume :
Events as Located Situations: Ontological Commitments in the Problem of Individuating Events
B.O. Akinkunmi
View Details |
|
 | Volume :
A comparative study of assumption-based argumentative approaches to reasoning with priorities
Jesse Heyninck and Christian Strasser
View Details |
|
 | Volume :
Twins in Logic - Identical and Otherwise
Lloyd Humberstone
View Details |
|
 | Volume :
About the Unification Type of Fusions of Modal Logics
Philippe Balbiani, Çi˘gdem Gencer and Maryam Rostamigiv
View Details |
|
 | Volume :
On the Role of Aristotle's Connexive Axioms in Non-connexive Logics
Nissim Francez
View Details |
|
 | Volume :
On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models
Ronald de Haan and Iris Pol
View Details |
|
 | Volume :
Optimal Polynomial-Time Estimators: A Bayesian Notion of Approximation Algorithm
Vanessa Kosoy and Alexander Appel
View Details |
|
 | Volume :
Bilateralism based on corrective denial
Assertion and Proof special issue
Nissim Francez
View Details |
|
 | Volume :
Reflections on Logics for Assertion and Denial
Assertion and Proof special issue
Ciro De Florio
View Details |
|
 | Volume :
A general semantics for logics of affirmation and negation
Assertion and Proof special issue
Fabien Schang
View Details |
|
 | Volume :
Extended Syllogistics in Calculus CL
Assertion and Proof special issue
Jens Lemanski
View Details |
|
 | Volume :
Normalisation for Bilateral Classical Logic with some Philosophical Remarks
Assertion and Proof special issue
Nils Kürbis
View Details |
|
 | Volume :
Defeasibility and Non-Monotonicity in Dialogues
Assertion and Proof special issue
Cristina Barés Gómez and Matthieu Fontaine
View Details |
|
 | Volume :
Asserting Boo! and Horray! Pragmatic Logic for Assertion and Moral Attitudes
Assertion and Proof special issue
Daniele Chiffi
View Details |
|
 | Volume :
DLEAC and the Rejection Paradox
Assertion and Proof special issue
Massimiliano Carrara
View Details |
|
 | Volume :
Measuring Inconsistency in Finitary First-order Logic
John Grant
View Details |
|
 | Volume :
Hilbert Algebras in a Non-classical Framework
Hilbert Algebras with Apartness
Daniel A. Romano
View Details |
|
 | Volume :
Assumptive Sequent-based Argumentation
AnneMarie Borg
View Details |
|
 | Volume :
Infinity in computable probability
Maarten McKubre-Jordens and Phillip L. Wilson
View Details |
|
 | Volume :
Tsien's power-of-two law in a neuromorphic network model suitable for artificial intelligence
S. A. Selesnick
View Details |
|
 | Volume :
Two normalizations for natural deductions in sequent style
Mirjana Borisavlievic
View Details |
|
 | Volume :
Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving
Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiene Tahar
View Details |
|
 | Volume :
Formal periodic steady-state analysis of power converters in time-domain
Asad Ahmed, Osman Hasan and Ammar Hasan
View Details |
|
 | Volume :
New foundations for imperative logic IV: Natural deduction
Peter B. M. Vranas
View Details |
|
 | Volume :
Strengthening Gossip Protocols using Protocol-Dependent Knowledge
Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer and Pere Pardo
View Details |
|
 | Volume :
AlphaGo's Decision Making
Woosuk Park, Sungyong Kim, Keunhyoung Luke Kim and Jeounghoon Kim
View Details |
|
 | Volume :
Covariant-Contravariant Refinement Modal Logic
Huili Xing, Zhaohui Zhu and Jinjin Zhang
View Details |
|
 | Volume :
A tractarian resolution to the ontological argument
To be published in Special Issue on Formal Approaches to the Ontological Argument
Erik Thomsen
View Details |
|
 | Volume :
An even more Leibnizian version of Gödel’s ontological argument
To be published in Special Issue on Formal Approaches to the Ontological Argument
Kordula Świętorzecka and Marcin Łyczak
View Details |
|
 | Volume :
On Kant’s hidden ambivalence toward existence in his critique of the ontological argument
To be published in Special Issue on Formal Approaches to the Ontological Argument
Giovanni Mion
View Details |
|
 | Volume :
Abduction in Akkadian Medical Diagnosis
Cristina Bares Gomez
View Details |
|
 | Volume :
On the Update Operation in Skew Lattices
Karin Cvetko-Vah and Joao Pita Costa
View Details |
|
 | Volume :
Formalization of Lerch's theorem using HOL Light
Adnan Rashid and Osman Hasan
View Details |
|
 | Volume :
A Complexity Dichotomy for Poset Constraint Satisfaction
Michael Kompatscher and Trung Van Pham
View Details |
|
 | Volume :
Riesz Space-Valued States on Pseudo MV-algebras
Anatolij Dvurev{c}enskij
View Details |
|
 | Volume :
Estimating the Strength of Defeasible Arguments
A Formal Inquiry
James B. Freeman
View Details |
|
 | Volume :
Bilateralism does provide a proof theoretic treatment of classical logic (for non-technical reasons)
Nissim Francez
View Details |
|
 | Volume :
A propositional logic with binary metric operators
Nenad Stojanovic, Nebojsa Ikodinovic and Radosav Djordjevic
View Details |
|
 | Volume :
Does Negative Mass Imply Superluminal Motion?
An Investigation in Axiomatic Relativity Theory
J. X. Madaráz, G. Székely and M. Stannett
View Details |
|
 | Volume :
Formal Analysis of Discrete-Time Systems using z-Transform
Umair Siddique, Mohamed Yousri Mahmoud and Sofiène Tahar
View Details |
|
 | Volume :
Succinctness in Subsystems of the Spatial mu-calculu
David Fernández-Duque and Petar Iliev
View Details |
|
 | Volume :
Approaches of Linear Operators in the Intuitionistic Fuzzy 2-Banach Spaces
Vatan Karakaya and Müzeyyen Ertürk
View Details |
|
|
| Volume :
Adams' P-validity in the Research on Human Reasoning
Gernot D Kleiter
Received 5 July 2016
View Details |
|
