Matches in UGent Biblio for { <https://biblio.ugent.be/publication/947339#aggregation> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- aggregation classification "B2".
- aggregation creator person.
- aggregation creator person.
- aggregation date "2009".
- aggregation hasFormat 947339.bibtex.
- aggregation hasFormat 947339.csv.
- aggregation hasFormat 947339.dc.
- aggregation hasFormat 947339.didl.
- aggregation hasFormat 947339.doc.
- aggregation hasFormat 947339.json.
- aggregation hasFormat 947339.mets.
- aggregation hasFormat 947339.mods.
- aggregation hasFormat 947339.rdf.
- aggregation hasFormat 947339.ris.
- aggregation hasFormat 947339.txt.
- aggregation hasFormat 947339.xls.
- aggregation hasFormat 947339.yaml.
- aggregation isPartOf urn:isbn:9781904987789.
- aggregation language "eng".
- aggregation publisher "College Publications".
- aggregation subject "Philosophy and Religion".
- aggregation title "Goal-directed tableaux".
- aggregation abstract "This paper contains a new format for analytic tableaux, called goal-directed tableaux. Their main interest lies in the fact that the search for a closed tableau proceeds in a highly constrained way. The goal-directed tableaux do not form a complete decision method for propositional classical logic (because they do not sustain Ex Falso Quodlibet). For consistent sets of premises, however, they lead to the same results as the usual analytic tableaux for classical logic.".
- aggregation authorList BK1369759.
- aggregation endPage "256".
- aggregation startPage "241".
- aggregation volume "21".
- aggregation isDescribedBy 947339.
- aggregation similarTo LU-947339.