Search
Search Results
-
A Modification of Visser’s Formal Logic and Its Connection with Solovay’s Modal Logic
AbstractWe present a new logic called SPL , embedded into Solovay’s provability logic S , using a translation that embeds Visser’s formal logic FPL ...
-
Logic
The terms logic and mathematics are often paired in the historiography of the latter. But, as discussed in this book, logic is not a monolithic... -
The Philosophy of Logic of John Corcoran
This article surveys the philosophy of logic of John Corcoran by focusing on some of its characteristic themes: his understanding of logic as formal... -
Defining logical obstruction with fixpoints in epistemic logic
The logical method proposed by Goubault, Ledent, and Rajsbaum provides a means of demonstrating the unsolvability of distributed tasks within the...
-
Extensions to generalized disjunctive programming: hierarchical structures and first-order logic
Optimization problems with discrete–continuous decisions are traditionally modeled in algebraic form via (non)linear mixed-integer programming. A...
-
Logic in the History and Philosophy of Mathematical Practice
Mathematical logic is the study of reasoning about mathematical objects and the degree to which mathematical and scientific reasoning can be... -
Morality, Ethics, and Wisdom: Remarks on Applications of Logic
The main goal of the paper is to present some definitions and relations between morality, ethics, and wisdom, primarily based on the conceptions of... -
Linear Temporal Public Announcement Logic: A New Perspective for Reasoning About the Knowledge of Multi-classifiers
In this paper, a formal transition system model is presented called Linear Temporal Public Announcement Logic (LTPAL) to extract knowledge in a...
-
Logical Methodology and the Structure of Logic Syllabi
This paper starts from a dissatisfaction with the way logic is currently taught in philosophy departments. In such a context, we would want logic to... -
On Polish Rationalisms, Logic and Joy
This paper deals with the relationship between logic and ethics, more specifically: the issue of the inseparability of logic and ethics. A... -
Logic-Based Benders Decomposition Theory and Applications
This book is the first comprehensive guide to logic-based Benders decomposition (LBBD), a general and versatile method for breaking large, complex...
-
Philosophical Logic = Philosophy + Logic?
My purpose in this paper is to shed some light on two questions: In what sense is logic philosophical? And what is philosophical logic? I take these... -
Logic in the History and Philosophy of Mathematical Practice
Mathematical logic is the study of reasoning about mathematical objects and the degree to which mathematical and scientific reasoning can be... -
Logic-Based Benders Cuts
Effective logic-based cuts are essential to the success of logic-based Benders decomposition, and this chapter shows how they can be designed to... -
Determining the Accuracy for Fuzzy Logic Technology Foresight Model
A method for checking the accuracy of prognostic models in the absence of experimental data for comparing the modeling results is presented. The...
-
Mathematical Logic Exercises and Solutions
This book gathers together a colorful set of problems on classical Mathematical Logic, selected from over 30 years of teaching. The initial chapters...
-
A conditional-logic interpretation for Miller–Tucker–Zemlin inequalities and extensions
Routing problems that seek to traverse a set of cities are faced with the challenge of avoiding subtours. To address this challenge, attention has...
-
Peirce’s Dragon-Head Logic (R 501, 1901)
Peirce wrote in late 1901 a text on formal logic using a special Dragon-Head and Dragon-Tail notation in order to express the relation of logical...
-
Artificial Neural Networks and Logic Circuit Synthesis
We consider the application of artificial neural networks to logic circuit synthesis. The potential promise of this method is shown. Circuit...