{"entities":{"Q6987201":{"pageid":21426216,"ns":120,"title":"Item:Q6987201","lastrevid":76336050,"modified":"2026-04-23T17:31:12Z","type":"item","id":"Q6987201","labels":{"en":{"language":"en","value":"Ecumenical propositional tableau"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8036958"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987201$F55F7F63-6667-44C1-A0C2-C2300F53A46E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f680135e28f10f55c843d87998300d0850bf4af","datavalue":{"value":{"text":"Ecumenical propositional tableau","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6987201$F65F6CF0-C5D2-436A-A279-F395D870C168","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6f280a324394172085099447d11ea55b29b8b65","datavalue":{"value":"1571.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987201$8B1502CD-2D67-486C-B71D-517EB3109D31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"186ac1c5e54ee7ebcb3783e7adc510734ab7866c","datavalue":{"value":"10.1007/S11225-023-10091-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987201$8F090C1E-49FA-4073-AF05-2C4B647C5484","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d1d01bc0b49703ad966d9da798d83372286aceb","datavalue":{"value":{"entity-type":"item","numeric-id":6512653,"id":"Q6512653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987201$7250699C-A321-4539-AAC8-EB32498897E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"abb72aee385d3c375008fbb213dbc232938cad53","datavalue":{"value":{"entity-type":"item","numeric-id":186027,"id":"Q186027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987201$1F631758-8510-4A09-A256-D9B8F32A11DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63d9233b42254158160c8d5be21064a25b66fbf1","datavalue":{"value":{"entity-type":"item","numeric-id":489209,"id":"Q489209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987201$6DCEC252-127B-46D9-BB1F-4E6629336D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22342485511ab36ea3c094d2ea6d563c1167efae","datavalue":{"value":{"entity-type":"item","numeric-id":1982013,"id":"Q1982013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987201$267B09E7-8C6F-4680-9533-40A7F7A68D0C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987201$601F0F81-3B97-444B-A09E-583A2C1C40E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66f16df79848c88a7e372b53160ab8402dffc7b0","datavalue":{"value":{"time":"+2025-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6987201$C018B50A-7721-4E45-96FA-21C03AA39F55","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d253983e4022ce447d1e839dcf16ff48907a6b89","datavalue":{"value":"The paper introduces the \\textit{ecumenical propositional tableau} (\\(E_T\\)), a tableau-based proof system for what the authors call ``ecumenical propositional logic'', a framework that combines both intuitionistic and classical reasoning. The notion of ecumenical systems originates from \\textit{D. Prawitz}'s [Tributes 27, 15--32 (2015; Zbl 1410.03010)] proposal to develop proof systems that integrate classical and intuitionistic operators within a single formal language. In this context, the present article develops a semantic tableau calculus and establishes its relation to the corresponding Kripke semantics.\\N\\NThe article begins with a presentation of the specific language, in which connectives are marked either as classical or as intuitionistic by means of syntactic tags, while neutral connectives remain unmarked. The authors define (recursively) the complexity of ``ecumenical formulas'' and the set of subformulas, and then move to the semantic setting. The semantics is characterized as ``ecumenical Kripke models'', which result from extending standard intuitionistic Kripke frames with conditions that account for the behavior of classical disjunction and implication. Several lemmas are proved to connect the forcing relation with frame conditions, and illustrative countermodels are provided for well-known formulas that fail in the ecumenical setting.\\N\\NIn the next section, the authors introduce the ecumenical propositional tableau system \\(E_T\\) in detail. Signed formulas, nodes, branches, and tableau trees are defined. Expansion rules for each connective, both classical and intuitionistic, as well as structural rules for reflexivity, transitivity, and heredity, are presented in tabular form. The system is illustrated with worked examples showing the derivability of typical ecumenical tautologies, such as the classical law of excluded middle in the form \\(A \\vee_{c} \\neg A\\), and the interplay between intuitionistic and classical implications.\\N\\NThe final part of the paper is devoted to proving soundness and completeness of \\(E_T\\) with respect to ecumenical Kripke semantics. The soundness theorem is shown by demonstrating that any branch of a tableau closed under the rules corresponds to a valid ecumenical consequence. Completeness is obtained via the canonical model construction from open branches, which ensures that any ecumenically valid formula is derivable in \\(E_T\\).\\N\\NThe article provides a systematic exposition of the tableau method for a unified approach to logic and situates the contribution within the broader program inspired by Prawitz. It also offers perspectives for further extensions to more complex systems, including modal and sequent-based variants.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987201$AD632521-76FB-4F86-8227-C18820ABCBC1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bb5a4a2c374444b66a40fc8d22c526516814731e","datavalue":{"value":{"entity-type":"item","numeric-id":590167,"id":"Q590167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987201$9AF9FF5E-775D-4386-B107-2EBF24049A18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987201$D87B0C9C-5C04-451B-A492-34000FA753D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987201$556D3CF6-0D1F-4495-8C44-906520069B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987201$D68C86CE-F666-4C31-A5DA-81E0BB066BDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3364a9dd1e303862c176413161b3b4d463bb3b01","datavalue":{"value":"8036958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987201$FDB36CB5-D008-40AE-8636-602CDC6E3850","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"631f6e6f39ae432d1b3a7157ba282a3b7eb95a93","datavalue":{"value":"logical ecumenism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987201$A580A5A8-152A-4B36-9688-D0A0E817AE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987201$F2C43670-4D5D-44EC-8550-7155FB50210B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987201$6BEEAE40-1871-4943-998A-7FF3A54E8065","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987201$150AFD19-CFC8-4707-A6E6-4D10D7F491A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ecumenical propositional tableau","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ecumenical_propositional_tableau"}}}}}