Concept
Modus ponens
Related publications (4)
SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus
Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...
2024A diagnostic procedure for applying the social-ecological systems framework in diverse cases
The framework for analyzing sustainability of social-ecological systems (SES) framework of Elinor Ostrom is a multitier collection of concepts and variables that have proven to be relevant for understanding outcomes in diverse SES. The first tier of this f ...
Resilience Alliance2015Disabling conditional inferences: An EEG study
Although the Modus Ponens inference is one of the most basic logical rules, decades of conditional reasoning research show that it is often rejected when people consider stored background knowledge about potential disabling conditions. In the present study ...
Pergamon-Elsevier Science Ltd2014Fuzzy Trust Aggregation And Personalized Trust Inference In Virtual Social Networks
Virtual marketplaces on the Web provide people with great facilities to buy and sell goods similar to conventional markets. In traditional business, reputation is subjectively built for known persons and companies as the deals are made in the course of tim ...
2009