Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
Bulletin of the Section of Logic, 2022 This paper is about non-labelled proof-systems for hybrid logic, that is, proofsystems where arbitrary formulas can occur, not just satisfaction statements.
Torben Braüner
doaj +1 more source
A Review of Ayatollah Sayyid Muhammad Baqir al-Sadr's Philosophy of History: An Analysis of Inductive Methodology in Discovering Divine Historical Laws [PDF]
تاریخ نگری و تاریخ نگاری, 2023 This paper examines Ayatollah Sayyid Muhammad Baqir al-Sadr's perspective on history through methodological and substantive point of view. In Iqtisaduna (Our Economy), Sadr argues that the inductive laboratory methods used in the natural sciences cannot ...
Zahra AlhooiiNazari, Elham Rabiee
doaj +1 more source
An Alternative Natural Deduction for the Intuitionistic Propositional Logic [PDF]
, 2016 A natural deduction system NI, for the full propositional intuitionistic logic, is proposed. The operational rules of NI are obtained by the translation from Gentzen’s calculus LJ and the normalization is proved, via translations from sequent calculus ...
Ilić, Mirjana
core +1 more source
A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation [PDF]
Bulletin of the Section of Logic, 2019 This paper presents a way of formalising definite descriptions with a binary quantifier ℩, where ℩x[F, G] is read as `The F is G'. Introduction and elimination rules for ℩ in a system of intuitionist negative free logic are formulated.
Nils Kürbis
semanticscholar +1 more source
The scientific method of Sir William Petty
Erasmus Journal for Philosophy and Economics, 2011 An understanding of the precise nature of the scientific method of Sir William Petty has proved elusive to historians of economic thought, in no small part because of a lack of Petty's own characterization of his scientific approach.
James H. Ullmer
doaj +1 more source
A quick proof of the regularity of the flow of analytic vector fields
Comptes Rendus. Mathématique, 2021 We offer a new and elementary proof of the convergence of the Lie series giving the flow of an analytic vector field as well as a natural deduction of such series.
Carrillo, Sergio A.
doaj +1 more source
Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo [PDF]
Logical Methods in Computer Science, 2011 In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems---such as for instance natural deduction---are applied.
Guillaume Burel
doaj +1 more source
Studying Aristotelian Syllogism according to Implicative and Conductive Accounts [PDF]
Journal of Philosophical Investigations, 2023 Aristotelian Logic, the oldest system of reasoning, has always been come into focus. The Syllogism as the focal issue amid Aristotle’s logic has caused many controversial discussions.
Hamideh Bahmanpour +2 more
doaj +1 more source
Gödel logic: From natural deduction to parallel computation [PDF]
Logic in Computer Science, 2016 Propositional Gödel logic G extends intuitionistic logic with the non-constructive principle of linearity (A → B) ∨ (B → A). We introduce a Curry-Howard correspondence for G and show that a simple natural deduction calculus can be used as a typing system.
Federico Aschieri +2 more
semanticscholar +1 more source
Hybrid Deduction–Refutation Systems
Axioms, 2019 Hybrid deduction–refutation systems are deductive systems intended to derive both valid and non-valid, i.e., semantically refutable, formulae of a given logical system, by employing together separate derivability operators for each of these and combining
Valentin Goranko
doaj +1 more source