{"entities":{"Q910392":{"pageid":912240,"ns":120,"title":"Item:Q910392","lastrevid":65308182,"modified":"2026-04-12T01:41:23Z","type":"item","id":"Q910392","labels":{"en":{"language":"en","value":"A content semantics for quantified relevant logics. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4139710"}},"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":"Q910392$1F77AA85-2E1E-452C-8BC5-575D18834441","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b06704f6f86cd9c537e1310c92db8615811a27e","datavalue":{"value":{"text":"A content semantics for quantified relevant logics. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q910392$64B00587-F933-4DB2-AE0F-2DEBDE4BAB9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3414815e7cfc46712b95209c0b3dcf915e82e856","datavalue":{"value":"0696.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910392$18C439AD-925D-4B47-958C-E89DC944364D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2627ce371b00b1d0b31668ff6e1c832e7cc8357b","datavalue":{"value":"10.1007/BF02770515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910392$3533CD07-4704-49A6-AD67-E574A9AE66F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3788d8eb15a23fa0f90cdf206746b1b67d371a9e","datavalue":{"value":{"entity-type":"item","numeric-id":484103,"id":"Q484103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910392$371FFD47-8E4B-40AC-83BF-11D5CFC87AD9","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":"Q910392$95E5FC41-11A0-4BB7-A436-5A57031C7674","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q910392$02EAB44B-26F5-4F61-B61A-DD32A09894C4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fc8c744b61650aec3dfc25e8a3826a6e90605cdc","datavalue":{"value":"This is the sequel to Part I [ibid. 47, 111-127 (1988; Zbl 0666.03017)]. As promised there, additional postulates are given here to specify the content semantics (an algebraic style semantics) of almost any first- order extension of the system BBQ which one might care to consider, e.g., TWQ, RWQ, TQ, RQ and KQ (classical first-order logic). (See the author [Logique Anal., Nouv. S\u00e9r. 27, 355-377 (1984; Zbl 0559.03011)] for a larger list of suitable extensions.) EWQ and EQ are the only significant systems notably absent. Generalised consistency and completeness proofs are given to cover all of the systems included.    The author then goes on to produce ``reduced'' content semantics. (See \\textit{R. Routley}, \\textit{R. K. Meyer}, \\textit{V. Plumwood} and the author [Relevant logics and their rivals (1982; Zbl 0579.03011)] for the original notion of reduced modelling and its motivation.) The point here is to give models certain plausible properties which they lack otherwise, to wit, primeness and saturation properties for the truth filter: If \\(A\\vee B\\) is an element of the truth filter, then so is either A or B ; and if (\\(\\exists x)A\\) is an element of the truth filter, then so is the result of substituting some object of the domain for x in A. To this end the original system BBQ and its extensions are modified by adding the ``meta-rules'':    MR1. If \\(A\\Rightarrow B\\), then \\(C\\vee A\\Rightarrow C\\vee B,\\)    MR2. If \\(A\\Rightarrow B\\), then (\\(\\exists x)A\\Rightarrow (\\exists x)B,\\)    yielding the system \\(BB^ dQ\\) and its extensions. The model structures for these systems are just like the originals except for the addition of these two postulates:    (p6c) The union of c and d is in T only if either c is or d is.    (p11b) The generalised union of \\(\\{F^ ns^ b/k(i_ 1,...,i_ n):\\) b is in \\(D\\}\\) is in T only if \\(F^ ns^ b/k(i_ 1,...,i_ n)\\) is in T for some b in D.    Soundness and completeness are then proved as required.","type":"string"},"datatype":"string"},"type":"statement","id":"Q910392$3CE461E4-1E83-44E0-A0A2-1312878BCE34","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0aa64c621a2feafe101247ed541c38a7affa2b8e","datavalue":{"value":{"entity-type":"item","numeric-id":579233,"id":"Q579233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910392$6BB54718-768F-4CFC-9B27-F5E4B5C97F97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910392$40700FAC-79E0-4147-9854-32759D591778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910392$6146BBCB-3BAE-410B-8DC4-1EE8ACBA1B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910392$568AA245-D3C9-4E4C-BA8C-3B662CF02BB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"baafc12d8d33ede718a16a5650d451f1219622c2","datavalue":{"value":"4139710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910392$E4024CD2-A980-4094-922C-50838699D836","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7142da80c3a0f851b23eb94115705156a9710da","datavalue":{"value":"quantified relevant logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q910392$CC42BA6C-10DB-4C59-9989-53D8976C0844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q910392$410620ED-0D7B-4177-ACEF-7433D4FB4DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04bb053ae2315e7c19014a3ab5615d4b508e1d35","datavalue":{"value":"reduced models","type":"string"},"datatype":"string"},"type":"statement","id":"Q910392$FC9A2AC0-2B65-44CD-BF02-2BA27001749E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32a7053fbef25252390fdffd9066e1a61e55ae46","datavalue":{"value":"first- order extensions of BBQ","type":"string"},"datatype":"string"},"type":"statement","id":"Q910392$C497FB5C-5E04-4C74-A385-ADD0FF13E7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9146db3bab1e85236850d05f8ab51774b7519ce","datavalue":{"value":"content semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q910392$455A6712-E1CF-4A61-94B7-2E9DF907D9B1","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":"Q910392$FD66A871-79CB-4191-9749-F54C13ADAB02","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6585ae6c8998260705d01ce0c05f9deef601ceb","datavalue":{"value":{"entity-type":"item","numeric-id":3347856,"id":"Q3347856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910392$B4A9999F-FACB-42D8-83A9-5C58269731BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c0e62610a46dfaa857940ae1385ecd9c9dcd53","datavalue":{"value":{"entity-type":"item","numeric-id":4777262,"id":"Q4777262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910392$B97CCFFF-9DF4-4215-915F-2E7006BDCA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89867c68a679832dd5a0729689908ba26626bb91","datavalue":{"value":{"entity-type":"item","numeric-id":3701398,"id":"Q3701398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910392$D0B4B749-820B-4962-9A4F-9EA2F7E1C212","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64d26a7a3656f6deeaf22a3221f1ea9f49312a82","datavalue":{"value":"https://doi.org/10.1007/bf02770515","type":"string"},"datatype":"url"},"type":"statement","id":"Q910392$94EEA458-3A10-444E-91BF-C956E3EEE454","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c13235c66ef0d16edbd71414de8966e51bef498d","datavalue":{"value":"W2022800703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910392$E588B4A2-04C1-4D39-AC9C-67696749F158","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f5ef6fc563498ae81a233f3f7d5314527e79788","datavalue":{"value":{"entity-type":"item","numeric-id":1611236,"id":"Q1611236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b798b395dd2a03d411361f6a56bd15344e65b79e","datavalue":{"value":{"amount":"+0.7617825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q910392$8624AA8C-72E0-415F-9C46-27344B775B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e62cbae9c859bfc29952f7f5d5c0dd1371cb5694","datavalue":{"value":{"entity-type":"item","numeric-id":1128177,"id":"Q1128177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f9d3a9d8f9f5de07e44abf0c251d8e19e352696","datavalue":{"value":{"amount":"+0.73609805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q910392$A5C6FDE5-D929-4869-AC16-732F3BE14549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca2aa8f06de91161a2843c45ceb2230bc87a842e","datavalue":{"value":{"entity-type":"item","numeric-id":3066102,"id":"Q3066102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"885e2a098d2f1b363c1e45f9f083f5858f7e7318","datavalue":{"value":{"amount":"+0.7289871","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q910392$4F7D0FAA-DC0A-4F81-B2CE-A4647834A703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62cd9e06ec325e5fe600c37a04c7534a7946372a","datavalue":{"value":{"entity-type":"item","numeric-id":3655271,"id":"Q3655271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77e3f2ab71be7fb91ea78c7bfcd866becd3e13f4","datavalue":{"value":{"amount":"+0.72081494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q910392$ACF31384-4FBD-4F09-B86E-8DDE72927F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3075f86122fc42ffe61f44127c74fe597a27497e","datavalue":{"value":{"entity-type":"item","numeric-id":2865748,"id":"Q2865748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c43504f7b1cd893c3556832d084366117b135d3","datavalue":{"value":{"amount":"+0.71949524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q910392$8F47C851-57EC-41F0-B9DD-7840B7449916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead3e91df0c36bf9002833b24b5ae9a05dde61d7","datavalue":{"value":{"entity-type":"item","numeric-id":3777429,"id":"Q3777429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0d7bd4d56d3d250a51d8a6e900e6018425cb575","datavalue":{"value":{"amount":"+0.7131449","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q910392$9A354638-25C5-464B-9BF0-281AA8B468BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d46e9c15b4e6873bc4d9a9de52ad814a0b12f609","datavalue":{"value":{"entity-type":"item","numeric-id":2703721,"id":"Q2703721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af83599019b05c267c95d53686b6e77e112fb69c","datavalue":{"value":{"amount":"+0.71313626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q910392$A51766FC-C163-4D9F-BD2D-1531E19C06CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e24d04218e1379da0725246c7d9b44e1ad4fd1be","datavalue":{"value":{"entity-type":"item","numeric-id":1116940,"id":"Q1116940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73fda62739ac825585b60654d8a730cf6c4324f6","datavalue":{"value":{"amount":"+0.7127008","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q910392$57DC18BD-42C7-4E60-A6A0-7947FDB2C271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb85740cec58ec7a36ef91932ed08f036161c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3644841,"id":"Q3644841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92d415fdccda642394b85bcc2e46656d0dae6372","datavalue":{"value":{"amount":"+0.7117251","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q910392$45763346-84C0-454A-8669-C63291442389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de7bf4b07ec24103c20d5d39aa3eeab2d9c0ae3d","datavalue":{"value":{"entity-type":"item","numeric-id":1368756,"id":"Q1368756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"038c3d1ce06c3ffc9c7961cdc0dc1a80748acae0","datavalue":{"value":{"amount":"+0.7111238","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q910392$935A8147-168B-4F3B-A049-D6D3308975B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A content semantics for quantified relevant logics. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_content_semantics_for_quantified_relevant_logics._II"}}}}}