Information for "The complexity of propositional implication"

Basic information

Display title	The complexity of propositional implication
Default sort key	The complexity of propositional implication
Page length (in bytes)	15
Namespace ID	0
Page ID	8978292
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	1
Counted as a content page	Yes
Page views in the past month	0
MaRDI portal item ID	None
Central description	scientific article; zbMATH DE number 5773855

Page protection

Edit	Allow all users (infinite)
Move	Allow all users (infinite)

View the protection log for this page.

Edit history

Page creator	Import240129110113 (talk \| contribs)
Date of page creation	21:25, 30 January 2024
Latest editor	AllProfilePages260409040437 (talk \| contribs)
Date of latest edit	07:54, 12 April 2026
Total number of edits	2
Recent number of edits (within past 90 days)	1
Recent number of distinct authors	1

Page properties

Transcluded templates (17)	Pages included on this page: Template:Badge (view source) Template:DeepChat (view source) Template:Publication (view source) Template:ReportABug (view source) Module:BacklinksList (view source) Module:HelperMethods (view source) Module:HelperStrConverter (view source) Module:PublicationCitesWork (view source) Module:PublicationContainsTheoremList (view source) Module:PublicationJournalEntry (view source) Module:PublicationKeywordList (view source) Module:PublicationMSCList (view source) Module:PublicationRecommendedItems (view source) Module:PublicationShowAbstract (view source) Module:PublicationUsesSoftwareList (view source) Module:Wd (view source) Module:Wd/i18n (view source)
MaRDI portal entities used in this page	zbMATH Keywords Miscellaneous (e.g. entity existence) Label: en published in Miscellaneous (e.g. entity existence) Label: en full work available at URL Miscellaneous (e.g. entity existence) Label: en Mathematics Subject Classification ID Miscellaneous (e.g. entity existence) Label: en publication date Miscellaneous (e.g. entity existence) Label: en A note on the computational complexity of the pure classical implication calculus Label: en Title Polynomial-time inference of all valid implications for Horn and related formulae Label: en Title The complexity of minimum partial truth assignments and implication in negation-free formulae Label: en Title Lewis dichotomies in many-valued logics Title An unexpected Boolean connective Title Isomorphic implication Title Generalized satisfiability for the description logic \(\mathcal{ALC}\) (extended abstract) Title Q3221403 Title Constant Depth Reducibility Title Label: en The Complexity of Reasoning for Fragments of Default Logic Title Label: en Satisfiability problems for propositional calculi Title Label: en Generalized satisfiability for the description logic \(\mathcal{ALC}\) Title Structure and importance of logspace-MOD class Title Label: en On the applicability of Post's lattice Title Q4729773 Title Sets of Boolean connectives that make argumentation easier Title On the parameterized complexity of non-monotonic logics Title The complexity of satisfiability for fragments of CTL and \(\text{CTL}^*\) Title Label: en Mathematical Foundations of Computer Science 2003 Title Label: en Mathematical Foundations of Computer Science 2005 Title Characterizations of Pushdown Machines in Terms of Time-Bounded Computers Title Label: en Logic for Programming, Artificial Intelligence, and Reasoning Title The weight in enumeration Title The Complexity of Generalized Satisfiability for Linear Temporal Logic Label: en Title The Two-Valued Iterative Systems of Mathematical Logic. (AM-5) Title Label: en The complexity of the falsifiability problem for pure implicational formulas Label: en Title Parameterized Complexity of Logic-based Argumentation in Schaefer’s Framework Title Information Processing Letters Label: en Strong backdoors for default logic Title Strong backdoors for default logic Title The complexity of circumscriptive inference in Post's lattice Label: en Title J. Martínez Label: en Title The complexity of propositional implication Title Miscellaneous (e.g. entity existence) Label: en Sitelink Some statements