Results 51 to 60 of about 97,467 (324)
Graphical Sequent Calculi for Modal Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 The syntax of modal graphs is defined in terms of the continuous cut and broken cut following Charles Peirce's notation in the gamma part of his graphical logic of existential graphs.
Minghui Ma, Ahti-Veikko Pietarinen
doaj +1 more source
Bulletin of the Section of Logic, 2021 We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, that such a system is identical to
Damian E. Szmuc
doaj +1 more source
Anatomical Sciences Education, Volume 18, Issue 3, Page 289-300, March 2025.Abstract It is likely existing anatomical illustrations are often used as the basis for new illustrative works, given not all illustrators have access to human tissues, bodies, or prosections on which to base their illustrations. Potential issues arise with this practice in the realms of copyright infringement and plagiarism when authors are seeking to
Jon Cornwall +7 more
wiley +1 more source
Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 In this paper sequent calculi for the classical fragment (that is, the conjunction-disjunction-implication-negation fragment) of the nonsense logics B3, introduced by Bochvar, and H3, introduced by Halldén, are presented.
Marcelo E. Coniglio, María I. Corbalán
doaj +1 more source
Interpretable land cover classification with modal decision trees
European Journal of Remote Sensing, 2023 Land cover classification (LCC) refers to the task of classifying each pixel in satellite/aerial imagery by predicting a label carrying information about its nature.
G. Pagliarini, G. Sciavicco
doaj +1 more source
British Educational Research Journal, EarlyView.Abstract Considering the growing calls for decolonial approaches within the scope of Climate Change and Sustainability Education (CCSE), in this research we seek to understand the meanings which have been put into circulation through research narratives on Environmental Education (EE) concluded in Latin America, regarding Afro‐Amerindian knowledges ...
Danilo Seithi Kato +1 more
wiley +1 more source
Towards an algebrization of a linear temporal logic
CQD Revista Eletrônica Paulista de MatemáticaThe subject of this paper is the Propositional Neighbourhood Logic (PNL), a case of linear temporal logic and an extension of Classical Propositional Logic that results from the inclusion of modal operators that deal with certain temporal aspects.
Romulo Albano de Freitas +2 more
doaj +1 more source
Relating Sequent Calculi for Bi-intuitionistic Propositional Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Bi-intuitionistic logic is the conservative extension of intuitionistic logic with a connective dual to implication. It is sometimes presented as a symmetric constructive subsystem of classical logic.
Luís Pinto, Tarmo Uustalu
doaj +1 more source
A Classification of Improper Inference Rules
Bulletin of the Section of Logic, 2022 In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper as opposed to proper ones.
Katsumi Sasaki
doaj +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT This study investigates how circular business models (CBMs) can lead to resilience. Despite the increasing number of CBM studies, they have not fully addressed the need for resilience. As such, we employ a multilevel perspective to reveal the existing and potential relationships between CBMs and resilience under the sustainability umbrella.
Stephane Jedrzejczak +4 more
wiley +1 more source