Propositional calculus

Known as: Sentence logic, Exportation in logic, Truth-functional propositional logic

Propositional calculus (also called propositional logic, sentential calculus, sentential logic, or sometimes zeroth-order logic) is the branch of…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2010

13th International Workshop on Non-Monotonic Reasoning (NMR). 14-16 May 2010, Toronto, Canada

2002

Fuzzy sets, having been the long-standing mainstay of modeling and manipulating imperfect information, are an obvious candidate…

2002

This is the HYSDEL user guide. HYSDEL allows to model a class of hybrid systems described by interconnections of linear dynamic…

2001

Abstract. A filter of a sentential logic ? is Leibniz when it is the smallest one among all the ?-filters on the same algebra…

1997

In this work, we attempt to alleviate three (more or less) equivalent negative results. These are (i) non-axiomatizability (by…

1994

The purpose of this work is to fashion an approach to model theory for general first-order languages without equality which is…

1978

Preface to the Eleventh Edition. Preface to the Tenth Edition. 1. Introduction. The Elements of an Argument. Deduction and…

1978

1976

1968