INDEPENDENCE OF COUNTABLE SETS OF FORMULAS OF THE PROPOSITIONAL LOGIC
| dc.contributor.author | Tahsin Oner | |
| dc.contributor.author | Mehmet Terziler | |
| dc.contributor.author | Oner, Tahsin | |
| dc.contributor.author | Terziler, Mehmet | |
| dc.date | OCT | |
| dc.date.accessioned | 2025-10-06T16:22:22Z | |
| dc.date.issued | 2013 | |
| dc.description.abstract | In this paper we prove that every countable set of formulas of the propositional logic has at least one equivalent independent subset. We illustrate the situation by considering axioms for Boolean algebras, the proof of independence we give uses model forming. | |
| dc.identifier.issn | 0381-7032 | |
| dc.identifier.scopus | 2-s2.0-84901777851 | |
| dc.identifier.uri | https://gcris.yasar.edu.tr/handle/123456789/7322 | |
| dc.language.iso | English | |
| dc.publisher | CHARLES BABBAGE RES CTR | |
| dc.relation.ispartof | Ars Combinatoria | |
| dc.rights | info:eu-repo/semantics/closedAccess | |
| dc.source | ARS COMBINATORIA | |
| dc.subject | classical logic, independence, consistence, axiomatizability, completeness | |
| dc.subject | Consistence | |
| dc.subject | Completeness | |
| dc.subject | Independence | |
| dc.subject | Axiomatizability | |
| dc.subject | Classical Logic | |
| dc.title | INDEPENDENCE OF COUNTABLE SETS OF FORMULAS OF THE PROPOSITIONAL LOGIC | |
| dc.type | Article | |
| dspace.entity.type | Publication | |
| gdc.author.scopusid | 6508113347 | |
| gdc.author.scopusid | 6505910883 | |
| gdc.author.wosid | Oner, Tahsin/AAG-8405-2021 | |
| gdc.coar.type | text::journal::journal article | |
| gdc.description.department | ||
| gdc.description.departmenttemp | [Oner, Tahsin] Ege Univ, Dept Math, TR-35100 Izmir, Turkey; [Terziler, Mehmet] Yasar Univ, Dept Math, TR-35100 Izmir, Turkey | |
| gdc.description.endpage | 80 | |
| gdc.description.publicationcategory | Makale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı | |
| gdc.description.startpage | 73 | |
| gdc.description.volume | 112 | |
| gdc.description.woscitationindex | Science Citation Index Expanded | |
| gdc.identifier.wos | WOS:000326301500006 | |
| gdc.index.type | WoS | |
| gdc.index.type | Scopus | |
| gdc.scopus.citedcount | 2 | |
| gdc.virtual.author | Terziler, Mehmet | |
| gdc.wos.citedcount | 2 | |
| oaire.citation.endPage | 80 | |
| oaire.citation.startPage | 73 | |
| publicationvolume.volumeNumber | 112 | |
| relation.isAuthorOfPublication | 6c994091-52c7-4e77-a3bf-2ea81b963cc7 | |
| relation.isAuthorOfPublication.latestForDiscovery | 6c994091-52c7-4e77-a3bf-2ea81b963cc7 | |
| relation.isOrgUnitOfPublication | ac5ddece-c76d-476d-ab30-e4d3029dee37 | |
| relation.isOrgUnitOfPublication.latestForDiscovery | ac5ddece-c76d-476d-ab30-e4d3029dee37 |