- Computability and the Symmetric Difference Operator.Uri Andrews, Peter M. Gerdes, Steffen Lempp, Joseph S. Miller & Noah D. Schweber - 2022 - Logic Journal of the IGPL 30 (3):499-518.details
- Proof Systems for 3-Valued Logics Based on Gödel’s Implication.Arnon Avron - 2022 - Logic Journal of the IGPL 30 (3):437-453.details
- Unification with Parameters in the Implication Fragment of Classical Propositional Logic.Philippe Balbiani & Mojtaba Mojtahedi - 2022 - Logic Journal of the IGPL 30 (3):454-464.details
- Restricted Rules of Inference and Paraconsistency.Sankha S. Basu & Mihir K. Chakraborty - 2022 - Logic Journal of the IGPL 30 (3):534-560.details
- Recovering Decimation-Based Cryptographic Sequences by Means of Linear CAs.Sara D. Cardell, Diego F. Aranha & Amparo Fúster-Sabater - 2022 - Logic Journal of the IGPL 30 (3):561-561.details
- New Tableau Characterizations for Non-Clausal MaxSAT Problem.Guido Fiorino - 2022 - Logic Journal of the IGPL 30 (3):422-436.details
- ∞-Groupoid Generated by an Arbitrary Topological Λ-Model.Daniel O. Martínez-Rivillas & Ruy J. G. B. de Queiroz - 2022 - Logic Journal of the IGPL 30 (3):465-488.details
- Gödel Justification Logics and Realization.Nicholas Pischke - 2022 - Logic Journal of the IGPL 30 (3):343-408.details
- Undecidability of the Logic of Partial Quasiary Predicates.Mikhail Rybakov & Dmitry Shkatov - 2022 - Logic Journal of the IGPL 30 (3):519-533.details
- Tarski’s Undefinability Theorem and the Diagonal Lemma.Saeed Salehi - 2022 - Logic Journal of the IGPL 30 (3):489-498.details
- Dualities for Bounded Prelinear Hilbert Algebras.Hernán J. San Martín & Valeria A. Sígal - 2022 - Logic Journal of the IGPL 30 (3):409-421.details
- Modeling the Turbulent Wake Behind a Wall-Mounted Square Cylinder.Christian Amor, José M. Pérez, Philipp Schlatter, Ricardo Vinuesa & Soledad Le Clainche - 2022 - Logic Journal of the IGPL 30 (2):263-276.details
- Uncertainty Estimation in the Forecasting of the 222Rn Radiation Level Time Series at the Canfranc Underground Laboratory.Miguel Cárdenas-Montes - 2022 - Logic Journal of the IGPL 30 (2):227-238.details
- Improving Wearable-Based Fall Detection with Unsupervised Learning.Mirko Fáñez, José R. Villar, Enrique de la Cal, Víctor M. González & Javier Sedano - 2022 - Logic Journal of the IGPL 30 (2):314-325.details
- One-Class-Based Intelligent Classifier for Detecting Anomalous Situations During the Anesthetic Process.Alberto Leira, Esteban Jove, Jose M. Gonzalez-Cava, José-Luis Casteleiro-Roca, Héctor Quintián, Francisco Zayas-Gato, Santiago Torres Álvarez, Svetlana Simić, Juan-Albino Méndez-Pérez & José Luis Calvo-Rolle - 2022 - Logic Journal of the IGPL 30 (2):326-341.details
- Distal Learning of the Incremental Capacity Curve of a LiFePO4 Battery.Luciano Sánchez, José Otero, Manuela González, David Anseán, Alana A. Zülke & Inés Couso - 2022 - Logic Journal of the IGPL 30 (2):301-313.details
- The Effect of Iterative Learning Control on the Force Control of a Hydraulic Cushion.Ignacio Trojaola, Iker Elorza, Eloy Irigoyen, Aron Pujana-Arrese & Carlos Calleja - 2022 - Logic Journal of the IGPL 30 (2):214-226.details
- Generation of Synthetic Data with Conditional Generative Adversarial Networks.Belén Vega-Márquez, Cristina Rubio-Escudero & Isabel Nepomuceno-Chamorro - 2022 - Logic Journal of the IGPL 30 (2):252-262.details
- Test Case Prioritization—ANT Algorithm With Faults Severity.Andreea Vescan, Camelia-M. Pintea & Petrică C. Pop - 2022 - Logic Journal of the IGPL 30 (2):277-288.details
- The Impact of Different System Call Representations on Intrusion Detection.Sarah Wunderlich, Markus Ring, Dieter Landes & Andreas Hotho - 2022 - Logic Journal of the IGPL 30 (2):239-251.details
- Practical Approach in Verification of Security Systems Using Satisfiability Modulo Theories.Agnieszka M. Zbrzezny, Sabina Szymoniak & Miroslaw Kurkowski - 2022 - Logic Journal of the IGPL 30 (2):289-300.details
- Lyndon’s Interpolation Property for the Logic of Strict Implication.Narbe Aboolian & Majid Alizadeh - 2022 - Logic Journal of the IGPL 30 (1):34-70.details
- Saturated Models of First-Order Many-Valued Logics.Guillermo Badia & Carles Noguera - 2022 - Logic Journal of the IGPL 30 (1):1-20.details
- Frame-Validity Games and Lower Bounds on the Complexity of Modal Axioms.Philippe Balbiani, David Fernández-Duque, Andreas Herzig & Petar Iliev - 2022 - Logic Journal of the IGPL 30 (1):155-185.details
- On Bivalent Semantics and Natural Deduction for Some Infectious Logics.Alex Belikov - 2022 - Logic Journal of the IGPL 30 (1):186-210.details
- The Logic of Orthomodular Posets of Finite Height.Ivan Chajda & Helmut Länger - 2022 - Logic Journal of the IGPL 30 (1):143-154.details
- An Infinitary Axiomatization of Dynamic Topological Logic.Somayeh Chopoghloo & Morteza Moniri - 2022 - Logic Journal of the IGPL 30 (1):124-142.details
- Logics of (In)Sane and (Un)Reliable Beliefs.Jie Fan - 2022 - Logic Journal of the IGPL 30 (1):78-100.details
- A Remark on Functional Completeness of Binary Expansions of Kleene’s Strong 3-Valued Logic.Gemma Robles & José M. Méndez - 2022 - Logic Journal of the IGPL 30 (1):21-33.details
- ‘Sometime a Paradox’, Now Proof: Yablo is Not First Order.Saeed Salehi - 2022 - Logic Journal of the IGPL 30 (1):71-77.details
- Extensions in Graph Normal Form.Michał Walicki - 2022 - Logic Journal of the IGPL 30 (1):101-123.details
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
|