{"id":"W1513961548","doi":"10.3233/fun-2007-791-205","title":"A Propositional Proof System with Quantification Over Permutations","year":2007,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Propositional variable; Propositional formula; Computer science; Propositional calculus; Mathematics; Discrete mathematics; Theoretical computer science; Intermediate logic","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00289719,0.0005968266,0.0007033927,0.00104297,0.001233933,0.003816979,0.001503781,0.001198385,0.008113462],"category_scores_gemma":[0.004721135,0.0009951281,0.001099144,0.001006192,0.002421618,0.005379904,0.003497432,0.003504399,0.001251776],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001828631,"about_ca_system_score_gemma":0.00333204,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002361878,"about_ca_topic_score_gemma":0.001866535,"domain_scores_codex":[0.997471,0.0006513259,0.0002397808,0.0005718725,0.0007179195,0.0003480459],"domain_scores_gemma":[0.9959591,0.002357013,0.0002447248,0.0006993469,0.000468837,0.0002710159],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001535233,0.0001121705,0.0006303404,0.0002451073,0.00006848525,0.0002882504,0.0003347193,0.0212213,0.01066028,0.8953168,0.006159069,0.06480993],"study_design_scores_gemma":[0.0002616604,0.000127081,0.0004880239,0.00008066241,0.0001238453,0.0004325,0.00007262549,0.1833745,0.02236347,0.7190484,0.07352024,0.0001068622],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01457348,0.0002480208,0.9727507,0.0008931854,0.0002075951,0.0001239787,0.0006091155,0.00404121,0.006552723],"genre_scores_gemma":[0.260182,0.0003377045,0.7291585,0.0007038863,0.0002449049,0.0002051742,0.0008671233,0.0004232128,0.007877596],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008113462,"threshold_uncertainty_score":0.02714229,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01971584741629512,"score_gpt":0.2577705835148094,"score_spread":0.2380547360985143,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}