Keyword:logic

Papers
A Chat with Bard Geoff Sutcliffe, Jack McKeown and Alexander Steen EasyChair Preprint no. 10329
Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties Jan Tušil, Traian Serbanuta and Jan Obdrzalek In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Self-Extensionality of Finitely-Valued Logics: Advances Alexej Pynko EasyChair Preprint no. 6563
Invited Paper: Opportunities of Chip Power Integrity and Performance Improvement Through Wafer Backside (BS) Connection Rongmei Chen, Giuliano Sisto, Odysseas Zografos, Dragomir Milojevic, Pieter Weckx, Geert Van der Plas and Eric Beyne EasyChair Preprint no. 9239
Cracking the Stateful Nut -- Computational Proofs of Stateful Security Protocols Using the Squirrel Proof Assistant David Baelde, Stephanie Delaune, Adrien Koutsos and Solène Moreau EasyChair Preprint no. 8631
Logic for CS Undergraduates: a Sketch Dennis Hamilton EasyChair Preprint no. 8622
Undergraduate Logic Teaching in Computing: Why, What, How? Roger Villemaire EasyChair Preprint no. 8616
New Languages of Abstract Automata Mark Burgin EasyChair Preprint no. 7718
Finite Hilbert-Style Axiomatizations of Disjunctive and Implicative Finitely-Valued Logics with Equality Determinant Alexej Pynko EasyChair Preprint no. 4059
Marking Solvable Variables Murat Sinan Aygün EasyChair Preprint no. 6339
Syntactic Computation of Model Composites of Enactment Logic. Frank Appiah EasyChair Preprint no. 6194
Theorem Proving of Enactment Model Composites with Appiah-Kleene Axiomatic Expressions (Eel Proof) Frank Appiah EasyChair Preprint no. 6193
Axiomatical Computation of Model Composites of Enactment Logic. Frank Appiah EasyChair Preprint no. 6192
The Mapping of the Logical Structure, Enact to the Engagement Structure of Enact. Frank Appiah EasyChair Preprint no. 6187
Semantic Computation of the Propositional Model Composites in Enactment Logic. Frank Appiah EasyChair Preprint no. 6186
Three-Valued Paraconsistent Logics with Subclassical Negation and Their Extensions Alexej Pynko EasyChair Preprint no. 5564
Minimally Many-Valued Maximally Paraconsistent Minimal Unary Subclassical Expansions of LP Alexej Pynko EasyChair Preprint no. 5358
Structural Completeness of Three-Valued Logics with Subclassical Negation Alexej Pynko EasyChair Preprint no. 5171
Self-Extensionality of Finitely-Valued Logics Alexej Pynko EasyChair Preprint no. 4928
Three-Valued Logics with Subclassical Negation Alexej Pynko EasyChair Preprint no. 4814
Extensions of Three-Valued Paraconsistent Logics Alexej Pynko EasyChair Preprint no. 4639
An Intelligent Board of Security Countermeasure Cases in Prolog. Frank Appiah EasyChair Preprint no. 4496
Four-Valued Expansions of Belnap's Logic: Inheriting Basic Peculiarities Alexej Pynko EasyChair Preprint no. 3118
Semantics of Sequent Calculi with Basic Structural Rules: Fuzziness Versus Non-Multiplicativity Alexej Pynko EasyChair Preprint no. 4153
Miscellaneous Extensions of Four-Valued Expansions of Belnap's Logic Alexej Pynko EasyChair Preprint no. 4078
Subprevarieties of Algebraic Systems Versus Extensions of Logics: Application to Some Many-Valued Logics Alexej Pynko EasyChair Preprint no. 3942
God, Logic, and Quantum Information Vasil Penchev EasyChair Preprint no. 3477
MetTeL<sup>2</sup>: Towards a Tableau Prover Generation Platform Dmitry Tishkovsky, Renate A. Schmidt and Mohammad Khodadadi In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
Turing's Influence on Programming Edgar Daylight In:Turing-100. The Alan Turing Centenary
Proving Simpson's Four-Slot Algorithm Using Ownership Transfer Shuling Wang and Xu Wang In:VERIFY-2010. 6th International Verification Workshop